Autori: Maric Filip M
| Naslov | Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity (Article; Early Access) |
| Autori | Markovic Jelena Maric Filip M |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2025), vol. br. , str. - |
| Projekat | Serbian Ministry of Education, Science and Technological Development |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
| Naslov | Readable automated proofs of ruler and compass constructions (Article; Early Access) |
| Autori | Marinkovic Vesna Sukilovic Tijana Novakovic Viktor Maric Filip M |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2025), vol. br. , str. - |
| Projekat | Serbian Ministry of Education, Science and Technological Development [451-03-47/2023-01/ 200104]; Serbian Ministry of Education, Science and Technological Development through the University of Belgrade [7744592]; Science Fund of the Republic of Serbia |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
| Naslov | Automated triangle constructions in hyperbolic geometry (Article) |
| Autori | Marinkovic Vesna Sukilovic Tijana Maric Filip M |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2023), vol. 91 br. 6, str. 821-849 |
| Projekat | Serbian Ministry of Education, Science and Technological Development through the University of Belgrade, Faculty of Mathematics [451-03-47/2023-01/s200104]; Science Fund of the Republic of Serbia [7744592]; Integrability and Extremal Problems in Mechanics, Geometry and Combinatorics - MEGIC |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
| Naslov | A Proof System for Graph (Non)-Isomorphism Verification (Article) |
| Autori | Bankovic Milan M Drecun Ivan Maric Filip M |
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2021), vol. 19 br. 1, str. - |
| Projekat | Serbian Ministry of Science [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Faradzev Read-type enumeration of non-isomorphic CC systems (Article) |
| Autori | Bankovic Milan M Maric Filip M |
| Info | COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, (2021), vol. 97 br. , str. - |
| Projekat | Ministry of Science, Serbia [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Formalization of the Poincare Disc Model of Hyperbolic Geometry (Article) |
| Autori | Simic Danijela Maric Filip M Boutry Pierre |
| Info | JOURNAL OF AUTOMATED REASONING, (2021), vol. 65 br. 1, str. 31-73 |
| Projekat | Serbian Ministry of Education and Science [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Regression Verification for Automated Evaluation of Students Programs (Article) |
| Autori | Vujosevic-Janicic Milena M Maric Filip M |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2020), vol. 17 br. 1, str. 205-227 |
| Projekat | Ministry of Science, Serbia [174021]; COST actionEuropean Cooperation in Science and Technology (COST) [CA15123] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture (Article) |
| Autori | Janicic Predrag Maric Filip M Malikovic Marko |
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2019), vol. 15 br. 1, str. - |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Fast Formal Proof of the Erds-Szekeres Conjecture for Convex Polygons with at Most 6 Points (Article) |
| Autori | Maric Filip M |
| Info | JOURNAL OF AUTOMATED REASONING, (2019), vol. 62 br. 3, str. 301-329 |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Formalizing complex plane geometry (Article) |
| Autori | Maric Filip M Petrovic Danijela |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2015), vol. 74 br. 3-4, str. 271-308 |
| Projekat | Serbian Ministry of Education and Science [ON174021]; Serbian-French Technology Co-Operation grant EGIDE/"Pavle Savic" [680-00-132/2012-09/12] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
