| A coherent logic based geometry theorem prover capable of producing formal and readable proofs S Stojanović, V Pavlović, P Janičić Automated Deduction in Geometry: 8th International Workshop, ADG 2010 …, 2011 | 46 | 2011 |
| Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry SS Ðurđević, J Narboux, P Janičić Annals of Mathematics and Artificial Intelligence 74 (3), 249-269, 2015 | 30 | 2015 |
| A vernacular for coherent logic S Stojanović, J Narboux, M Bezem, P Janičić International Conference on Intelligent Computer Mathematics, 388-403, 2014 | 20 | 2014 |
| Teaching graduate students how to review research articles and respond to reviewer comments M Banković, V Filipović, J Graovac, J Hadži-Purić, AR Hurson, A Kartelj, ... Advances in Computers 116 (1), 1-63, 2020 | 12 | 2020 |
| From informal to formal proofs in Euclidean geometry S Stojanović-Ðurđević Annals of Mathematics and Artificial Intelligence 85 (2), 89-117, 2019 | 6 | 2019 |
| Preprocessing of the axiomatic system for more efficient automated proving and shorter proofs S Stojanović Automated Deduction in Geometry: 9th International Workshop, ADG 2012 …, 2013 | 6 | 2013 |
| Formalizing IMO Problems and Solutions in Isabelle/HOL F Marić arXiv preprint arXiv:2010.16015, 2020 | 4 | 2020 |
| Automated Generation of Formal and Readable Proofs in Geometry Using Coherent Logic S Stojanovic, V Pavlovic, P Janicic ADG, 2010 | 2 | 2010 |
| Automated verification of informal proofs from high school geometry S Stojanović-Đurđević Info M 15 (58), 11-19, 2016 | 1 | 2016 |
| Формализација и аутоматско доказивање теорема еуклидске геометрије S Stojanović Универзитет у Београду, 2016 | | 2016 |
| Formalizacija i automatsko dokazivanje teorema euklidske geometrije S Stojanović Beograd, 2016 | | 2016 |
| АУТОМАТСКО ПРОВЕРАВАЊЕ НЕФОРМАЛНИХ ДОКАЗА ТЕОРЕМА СРЕДЊОШКОЛСКЕ ГЕОМЕТРИЈЕ SS Đurđević ИнфоМ-Часопис за информационе технологије и мултимедијалне системе 2016 (58), 2016 | | 2016 |
| Adaptation of Edges in a Triangular Mesh M Marić, S Stojanović | | 2006 |
