Autori: Stojanovic-Djurdjevic Sana
| Naslov | Towards automated proving in solid geometry (Article; Early Access) |
| Autori | Simic Danijela Stojanovic-Djurdjevic Sana Tanasijevic Ivana D |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2025), vol. br. , str. - |
| Projekat | COST action [CA20111] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
     |
| Naslov | Teaching graduate students how to review research articles and respond to reviewer comments (Review; Book Chapter) |
| Autori | 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
|
| Info | ADVANCES IN COMPUTERS, VOL 116, (2020), vol. 116 br. , str. 1-63 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | From informal to formal proofs in Euclidean geometry (Article; Proceedings Paper) |
| Autori | Stojanovic-Djurdjevic Sana |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2019), vol. 85 br. 2-4, str. 89-117 |
| Projekat | Ministry of Science of Serbia [ON174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry (Article) |
| Autori | Stojanovic-Djurdjevic Sana Narboux Julien Janicic Predrag
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2015), vol. 74 br. 3-4, str. 249-269 |
| Projekat | Serbian-French Technology Co-Operation grant EGIDE/"Pavle Savic" [680-00-132/2012-09/12]; Ministry of Science of Serbia [ON174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
