eNauka - pregled
Pregled prema Autor Marinković, Vesna
Prikaz rezultata 1 do 20 od 23
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2011 | A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs | Stojanović Đurđević, Sana   ; Marinković, Vesna ; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2024 | Angle trisection with origami and proving its correctness using Gröbner basis | Dara Milojković ; Vesna Marinković | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2017 | ArgoTriCS - automated triangle construction solver | Marinković, Vesna | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2023 | Automated triangle constructions in hyperbolic geometry | Marinkovic, Vesna ; Sukilovic, Tijana ; Maric, Filip M | Article | 22M22 |
| 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 |
| 2016 | Constructibility Classes for Triangle Location Problems | Schreck, Pascal; Marinković, Vesna ; Janičić, Predrag | 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 | Konstrukcija i analiza algoritama | Marinkovic, Vesna ; Marić, Filip | Text book | Mp. category will be shown later |
| 2019 | Методичка збирка алгоритамских задатака са решењима - C# - основни ниво | Марић, Филип ; Алимпић, Нина; Васиљевић, Небојша; Вугделија, Милан; Вуковић, Душа; Ђуришић, Мијодраг; Маринковић, Весна ; Матковић, Станка; Хаџи-Пурић, Јелена ; Чабаркапа, Милан | Text book | Mp. category will be shown later |
| 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 | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2021 | Moderna nastava matematike zasnovana na metodama veštačke inteligencije | Marinković, Vesna N. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2020 | New dynamics in dynamic geometry: Dragging constructed points | Selaković, Milica; Marinković, Vesna ; Janičić, Predrag | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2021 | On Automating Triangle Constructions in Absolute and Hyperbolic Geometry | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2015 | On-line compendium of triangle construction problems with automatically generated solutions | Marinković Pavlović, Vesna | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2016 | Portfolio Methods in Theorem Proving for Elementary Geometry | Marinković Pavlović, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Portfolio theorem proving and prover runtime prediction for geometry | Nikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2023 | Prolog in Automated Reasoning in Geometry | Marinković, Vesna | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2015 | Proof Simplification in the Framework of Coherent Logic | Marinković, Vesna N. | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2025 | Readable automated proofs of ruler and compass constructions | Marinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |