Autori: Marinkovic Vesna
| Naslov | Towards Automated Readable Proofs of Ruler and Compass Constructions (Proceedings Paper) |
| Autori | Marinkovic Vesna Sukilovic Tijana  Maric Filip M
|
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2023), vol. 398 br. , str. 11-20 |
| Ispravka | Web of Science Članak Elečas |
     |
| Naslov | Automated triangle constructions in hyperbolic geometry (Article; Early Access) |
| Autori | Marinkovic Vesna Sukilovic Tijana Maric Filip M
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2023), vol. br. , str. - |
| 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 | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
| Naslov | New dynamics in dynamic geometry: Dragging constructed points (Article) |
| Autori | Selakovic Milica Marinkovic Vesna Janicic Predrag
|
| Info | JOURNAL OF SYMBOLIC COMPUTATION, (2020), vol. 97 br. , str. 3-15 |
| Projekat | Ministry of Science, Serbia [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Portfolio theorem proving and prover runtime prediction for geometry (Article; Proceedings Paper) |
| Autori | Nikolic Mladen Marinkovic Vesna Kovacs Zoltan Janicic Predrag
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2019), vol. 85 br. 2-4, str. 119-146 |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | ArgoTriCS - automated triangle construction solver (Article) |
| Autori | Marinkovic Vesna |
| Info | JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, (2017), vol. 29 br. 2, str. 247-271 |
| Projekat | Serbian Ministry of Education, Science and Technological Development [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Proceedings Paper) |
| Autori | Marinkovic Vesna Janicic Predrag Schreck Pascal
|
| Info | AUTOMATED DEDUCTION IN GEOMETRY, (2015), vol. 9201 br. , str. 72-93 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Proof Simplification in the Framework of Coherent Logic (Article) |
| Autori | Marinkovic Vesna |
| Info | COMPUTING AND INFORMATICS, (2015), vol. 34 br. 2, str. 337-366 |
| Projekat | Serbian Ministry of Education, Science and Technological Development [174021]; Swiss National Science Foundation [SCOPES IZ73Z0_127979/1] |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
