Showing results 1 to 20 of 23
next >
| Issue Date | Title | Author(s) | Rank |
| 2024 | Angle trisection with origami and proving its correctness using Gröbner basis | Milojković, Dara ; Marinković, Vesna | M23 |
| 4-Mar-2017 | ArgoTriCS–automated triangle construction solver | Marinković, Vesna | M22 |
| 1-Dec-2023 | Automated triangle constructions in hyperbolic geometry | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | M22 |
| 25-Nov-2011 | A coherent logic based geometry theorem prover capable of producing formal and readable proofs | Stojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag | M33 |
| 1-Jan-2015 | Computer theorem proving for verifiable solving of geometric construction problems | Marinković, Vesna ; Janičić, Predrag ; Schreck, Pascal | M33 |
| 1-Mar-2016 | Constructibility Classes for Triangle Location Problems | Schreck, Pascal; Marinković, Vesna ; Janičić, Predrag | |
| 2024 | Efikasan obilazak grafova kontrole toka | Ristović, Ivan ; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena | M63 |
| 2024 | Interactive textbook for algorithms and data structures | Marinković, Vesna ; Marić, Filip | |
| 2024 | Konstrukcija i analiza algoritama | Marinković, Vesna ; Marić, Filip | |
| 1-Jan-2025 | ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern Applications | Čugurović, Milan ; Ristović, Ivan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena | M33 |
| 1-Mar-2020 | New dynamics in dynamic geometry: Dragging constructed points | Selaković, Milica; Marinković, Vesna ; Janičić, Predrag | M22 |
| 30-Dec-2021 | On Automating Triangle Constructions in Absolute and Hyperbolic Geometry | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | M33 |
| 2015 | On-line compendium of triangle construction problems with automatically generated solutions | Marinković, Vesna | |
| 2016 | Portfolio Methods in Theorem Proving for Elementary Geometry | Marinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag | M33 |
| 15-Apr-2019 | Portfolio theorem proving and prover runtime prediction for geometry | Nikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag | M22 |
| 2023 | Prolog in Automated Reasoning in Geometry | Marinković, Vesna | M14 |
| 2015 | Proof Simplification in the Framework of Coherent Logic | Marinković, Vesna | M23 |
| 1-Jan-2025 | Readable automated proofs of ruler and compass constructions | Marinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip | M22 |
| 22-Jan-2024 | Towards Automated Readable Proofs of Ruler and Compass Constructions | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | |
| 17-Aug-2012 | Towards understanding triangle construction problems | Marinković, Vesna ; Janičić, Predrag | M33 |
