@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={Bankovic Milan M,Filipovic Vladimir J,Graovac Jelena B,Hadzi-Puric Jelena Z,...,Kartelj Aleksandar A,Kovacevic Jovana J,Korolija Nenad,Kotlar Milos,Krdzavac Nenad B,Maric Filip M,Malkov Sasa N,Milutinovic Veljko M,Mitic Nenad S,Miskovic Stefan Z,Nikolic Mladen,Pavlovic-Lazetic Gordana M,Simic Danijela,Stojanovic-Djurdjevic Sana,Vujicic-Stankovic Stasa,Vujosevic-Janicic Milena M,Zivkovic Miodrag V},
year={2020},
title={Teaching graduate students how to review research articles and respond to reviewer comments},
journal={ADVANCES IN COMPUTERS, VOL 116},
volume={116},
number={},
pages={1-63},
document_type={Review; Book Chapter},
} 

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