Резултати 1-20 од 23
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2025 | Readable automated proofs of ruler and compass constructions | Marinković, Vesna   ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2024 | Towards Automated Readable Proofs of Ruler and Compass Constructions | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2024 | Konstrukcija i analiza algoritama | Marinkovic, Vesna ; Marić, Filip | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2024 | Interactive textbook for algorithms and data structures | Marinković, Vesna ; Marić, Filip | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2024 | Angle trisection with origami and proving its correctness using Gröbner basis | Dara Milojković ; Vesna Marinković | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2023 | Prolog in Automated Reasoning in Geometry | Marinković, Vesna | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2023 | Automated triangle constructions in hyperbolic geometry | Marinkovic, Vesna ; Sukilovic, Tijana ; Maric, Filip M | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2021 | Moderna nastava matematike zasnovana na metodama veštačke inteligencije | Marinković, Vesna N. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | On Automating Triangle Constructions in Absolute and Hyperbolic Geometry | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2020 | New dynamics in dynamic geometry: Dragging constructed points | Selaković, Milica; Marinković, Vesna ; Janičić, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | Portfolio theorem proving and prover runtime prediction for geometry | Nikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2019 | Методичка збирка алгоритамских задатака са решењима - C# - основни ниво | Марић, Филип ; Алимпић, Нина; Васиљевић, Небојша; Вугделија, Милан; Вуковић, Душа; Ђуришић, Мијодраг; Маринковић, Весна ; Матковић, Станка; Хаџи-Пурић, Јелена ; Чабаркапа, Милан | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2017 | ArgoTriCS - automated triangle construction solver | Marinković, Vesna | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2016 | Constructibility Classes for Triangle Location Problems | Schreck, Pascal; Marinković, Vesna ; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2016 | Wernick's List: A Final Update | Janičić, Predrag ; Marinković Pavlović, Vesna ; Pascal Schreck; Pascal Mathis | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2016 | Portfolio Methods in Theorem Proving for Elementary Geometry | Marinković Pavlović, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Proof Simplification in the Framework of Coherent Logic | Marinković, Vesna N. | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2015 | Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems | Marinković, Vesna ; Janičić, Predrag ; Schreck, Pascal | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Аутоматско решавање конструктивних проблема у геометрији | Marinković, Vesna | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |