@ARTICLE{
author={Simic Danijela,Stojanovic-Djurdjevic Sana,Tanasijevic Ivana D},
year={2025},
title={Towards automated proving in solid geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Stojanovic-Djurdjevic Sana},
year={2019},
title={From informal to formal proofs in Euclidean geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={85},
number={2-4},
pages={89-117},
document_type={Article; Proceedings Paper},
} 

@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},
}