| Formalization and implementation of algebraic methods in geometry F Marić, I Petrović, D Petrović, P Janičić arXiv preprint arXiv:1202.4831, 2012 | 29 | 2012 |
| 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 |
| Formalizing complex plane geometry F Marić, D Petrović Annals of Mathematics and Artificial Intelligence 74 (3), 271-308, 2015 | 12 | 2015 |
| Formalization of the Poincaré disc model of hyperbolic geometry D Simić, F Marić, P Boutry Journal of Automated Reasoning 65, 31-73, 2021 | 5 | 2021 |
| Formalizing analytic geometries D Petrovic, F Maric Automated Deduction in Geometry, 2012 | 4 | 2012 |
| Using small-step refinement for algorithm verification in computer science education D Simić International Journal for Technology in Mathematics Education 22 (4), 155-162, 2015 | 2 | 2015 |
| Automated Proving in Geometry using Gröbner Bases in Isabelle/HOL D Petrovic HOL, 0 | 2 | |
| Poincaré disc model D Simić, F Marić, P Boutry Archive of Formal Proofs, 2019 | 1 | 2019 |
| Using Small-Step Refinement For Algorithm Verification In Computer Science Education. D Petrovic CICM Workshops, 2014 | 1 | 2014 |
| Complex Geometry F Marić, D Simić | | 2024 |
| Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема D Simić Универзитет у Београду, 2017 | | 2017 |
| Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema D Simić Beograd, 2017 | | 2017 |
| Formalizing Algebrization of Geometry Statements D Simić | | |
Filip MarićFaculty of Mathematics, University of Belgrade在 matf.bg.ac.rs 的电子邮件经过验证
