Istraživači
Marinković, Vesna
Results 1-20 of 23
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2025 | Readable automated proofs of ruler and compass constructions | Marinković, Vesna   ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip | Article | 22M22 |
| 2025 | ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern Applications | Cugurovic, Milan ; Ristovic, Ivan ; Stanojevic, Strahinja ; Spasic, Marko ; Marinkovic, Vesna ; Vujosevic-Janicic, Milena | Conference Paper | Mp. category will be shown later |
| 2024 | Konstrukcija i analiza algoritama | Marinkovic, Vesna ; Marić, Filip | Text book | Mp. category will be shown later |
| 2024 | Towards Automated Readable Proofs of Ruler and Compass Constructions | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | Article | Mp. category will be shown later |
| 2024 | Interactive textbook for algorithms and data structures | Marinković, Vesna ; Marić, Filip | Article | Mp. category will be shown later |
| 2024 | Angle trisection with origami and proving its correctness using Gröbner basis | Dara Milojković ; Vesna Marinković | Article | 23M23 |
| 2023 | Prolog in Automated Reasoning in Geometry | Marinković, Vesna | Book parts | Mp. category will be shown later |
| 2023 | Automated triangle constructions in hyperbolic geometry | Marinkovic, Vesna ; Sukilovic, Tijana ; Maric, Filip M | Article | 22M22 |
| 2021 | Moderna nastava matematike zasnovana na metodama veštačke inteligencije | Marinković, Vesna N. | Conference Paper | Mp. category will be shown later |
| 2021 | On Automating Triangle Constructions in Absolute and Hyperbolic Geometry | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | Article | Mp. category will be shown later |
| 2020 | New dynamics in dynamic geometry: Dragging constructed points | Selaković, Milica; Marinković, Vesna ; Janičić, Predrag | Article | 22M22 |
| 2019 | Portfolio theorem proving and prover runtime prediction for geometry | Nikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag | Article | 22M22 |
| 2019 | Методичка збирка алгоритамских задатака са решењима - C# - основни ниво | Марић, Филип ; Алимпић, Нина; Васиљевић, Небојша; Вугделија, Милан; Вуковић, Душа; Ђуришић, Мијодраг; Маринковић, Весна ; Матковић, Станка; Хаџи-Пурић, Јелена ; Чабаркапа, Милан | Text book | Mp. category will be shown later |
| 2017 | ArgoTriCS - automated triangle construction solver | Marinković, Vesna | Article | 22M22 |
| 2016 | Constructibility Classes for Triangle Location Problems | Schreck, Pascal; Marinković, Vesna ; Janičić, Predrag | Article | Mp. category will be shown later |
| 2016 | Wernick's List: A Final Update | Janičić, Predrag ; Marinković Pavlović, Vesna ; Pascal Schreck; Pascal Mathis | Article | Mp. category will be shown later |
| 2016 | Portfolio Methods in Theorem Proving for Elementary Geometry | Marinković Pavlović, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag | Conference Paper | Mp. category will be shown later |
| 2015 | Аутоматско решавање конструктивних проблема у геометрији | Marinković, Vesna | Doctoral theses | 70M70 |
| 2015 | Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems | Marinković, Vesna ; Janičić, Predrag ; Schreck, Pascal | Conference Paper | Mp. category will be shown later |
| 2015 | Proof Simplification in the Framework of Coherent Logic | Marinković, Vesna N. | Article | 23M23 |