1. Research with MATF
  2. Research Outputs

Browsing by Author Marinković, Vesna


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 31  next >
Issue DateTitleAuthor(s)Rank
2024Angle trisection with origami and proving its correctness using Gröbner basisMilojković, Dara ; Marinković, Vesna M23
4-Mar-2017ArgoTriCS–automated triangle construction solverMarinković, Vesna M22
1-Dec-2023Automated triangle constructions in hyperbolic geometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M22
2021Automatsko rešavanje konstruktivnih problema u apsolutnoj i hiperboličkoj geometrijiMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M64
2023Automatsko rešavanje konstruktivnih problema u geometrijiBanković, Milan ; Marinković, Vesna M64
2023Automatsko rešavanje konstruktivnih problema u geometrijiMarinković, Vesna ; Banković, Milan M64
25-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag M33
1-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna ; Janičić, Predrag ; Schreck, PascalM33
1-Mar-2016Constructibility Classes for Triangle Location ProblemsSchreck, Pascal; Marinković, Vesna ; Janičić, Predrag 
2023Edukativni sistemi za automatsko rešavanje konstruktivnih problema u geometrijiMarinković, Vesna ; Marić, Filip M64
2024Efikasan obilazak grafova kontrole tokaRistović, Ivan ; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M63
2024Interactive textbook for algorithms and data structuresMarinković, Vesna ; Marić, Filip 
2024Interaktivni udžbenik iz oblasti algoritama i struktura podatakaMarić, Filip ; Marinković, Vesna M34
2024Konstrukcija i analiza algoritamaMarinković, Vesna ; Marić, Filip 
4-Dec-2025Machine Learning-Driven Prediction of Optimal Control Flow Graph Traversal StrategyRistović, Ivan ; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M50
1-Jan-2025ML-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
2021Moderna nastava matematike zasnovana na metodama veštačke inteligencijeMarinković, Vesna M63
1-Mar-2020New dynamics in dynamic geometry: Dragging constructed pointsSelaković, Milica; Marinković, Vesna ; Janičić, Predrag M22
30-Dec-2021On Automating Triangle Constructions in Absolute and Hyperbolic GeometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M33
2015On-line compendium of triangle construction problems with automatically generated solutionsMarinković, Vesna 
Showing results 1 to 20 of 31  next >