Vesna Marinkovic

13 papers Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Readable automated proofs of ruler and compass constructions.
Ann. Math. Artif. Intell.
Vesna Marinkovic, Tijana Sukilovic, Viktor Novakovic, Filip Maric
2023 J jnl
Automated triangle constructions in hyperbolic geometry.
Ann. Math. Artif. Intell.
Vesna Marinkovic, Tijana Sukilovic, Filip Maric
2023 — ch.
Prolog in Automated Reasoning in Geometry.
Prolog: The Next 50 Years
Vesna Marinkovic
2023 — conf
Towards Automated Readable Proofs of Ruler and Compass Constructions.
ADG
Vesna Marinkovic, Tijana Sukilovic, Filip Maric
2021 — conf
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry.
ADG
Vesna Marinkovic, Tijana Sukilovic, Filip Maric
2020 J jnl
New dynamics in dynamic geometry: Dragging constructed points.
J. Symb. Comput.
Milica Selakovic, Vesna Marinkovic, Predrag Janicic
2019 J jnl
Portfolio theorem proving and prover runtime prediction for geometry.
Ann. Math. Artif. Intell.
Mladen Nikolic, Vesna Marinkovic, Zoltán Kovács, Predrag Janicic
2017 J jnl
ArgoTriCS - automated triangle construction solver.
J. Exp. Theor. Artif. Intell.
Vesna Marinkovic
2016 J jnl
Constructibility Classes for Triangle Location Problems.
Math. Comput. Sci.
Pascal Schreck, Vesna Marinkovic, Predrag Janicic
2015 J jnl
Proof Simplification in the Framework of Coherent Logic.
Comput. Informatics
Vesna Marinkovic
2014 — conf
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.
ADG
Vesna Marinkovic, Predrag Janicic, Pascal Schreck
2012 J jnl
Towards Understanding Triangle Construction Problems
CoRR
Vesna Marinkovic, Predrag Janicic
2012 — conf
Towards Understanding Triangle Construction Problems.
AISC/MKM/Calculemus
Vesna Marinkovic, Predrag Janicic