@ARTICLE{
author={Gonzalez Salwa Tabet,Janicic Predrag,Narboux Julien},
year={2024},
title={Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={},
number={398},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Gonzalez Salwa Tabet,Janicic Predrag,Narboux Julien},
year={2023},
title={Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={398},
number={},
pages={21-37},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Janicic Predrag,Narboux Julien},
year={2023},
title={Automated generation of illustrated proofs in geometry and beyond},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={91},
number={6},
pages={797-820},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag,Narboux Julien},
year={2022},
title={Theorem Proving as Constraint Solving with Coherent Logic},
journal={JOURNAL OF AUTOMATED REASONING},
volume={66},
number={4},
pages={689-746},
document_type={Article},
} 

@ARTICLE{
author={Stojanovic-Djurdjevic Sana,Narboux Julien,Janicic Predrag},
year={2015},
title={Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={74},
number={3-4},
pages={249-269},
document_type={Article},
} 

@ARTICLE{
author={Stojanovic Sana N,Narboux Julien,Bezem Marc,Janicic Predrag},
year={2014},
title={A Vernacular for Coherent Logic},
journal={INTELLIGENT COMPUTER MATHEMATICS, CICM 2014},
volume={8543},
number={},
pages={388-403},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Janicic Predrag,Narboux Julien,Quaresma Pedro},
year={2012},
title={The Area Method A Recapitulation},
journal={JOURNAL OF AUTOMATED REASONING},
volume={48},
number={4},
pages={489-532},
document_type={Article},
}