Formalization and implementation of algebraic methods in geometry F Marić, I Petrović, D Petrović, P Janičić arXiv preprint arXiv:1202.4831, 2012 | 30 | 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 Simic The International Journal for Technology in Mathematics Education 22 (4 …, 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ć | | 2023 |
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема 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ć | | |