1. Research with MATF
  2. Research Outputs

Browsing by Author Marinković, Vesna

Showing results 1 to 15 of 15
Issue DateTitleAuthor(s)Rank
2024Angle trisection with origami and proving its correctness using Gröbner basisMilojković, Dara ; Marinković, Vesna 
1-Dec-2023Automated triangle constructions in hyperbolic geometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M22
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-Mar-2016Constructibility Classes for Triangle Location ProblemsSchreck, Pascal; Marinković, Vesna ; Janičić, Predrag M51
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 
2024Konstrukcija i analiza algoritamaMarinković, Vesna ; Marić, Filip 
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
2016Portfolio Methods in Theorem Proving for Elementary GeometryMarinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag M33
15-Apr-2019Portfolio theorem proving and prover runtime prediction for geometryNikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag M23
2023Prolog in Automated Reasoning in GeometryMarinković, Vesna M14
1-Jan-2025Readable automated proofs of ruler and compass constructionsMarinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip M22
22-Jan-2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip 
17-Aug-2012Towards understanding triangle construction problemsMarinković, Vesna ; Janičić, Predrag M33
Showing results 1 to 15 of 15