Vesna Marinkovic

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 8

Top Topics

Theorem Proving

Top Venues

Ann. Math. Artif. Intell.

Comput. Informatics

Math. Comput. Sci.

Publications

Vesna Marinkovic, Tijana Sukilovic, Filip Maric
Towards Automated Readable Proofs of Ruler and Compass Constructions. CoRR (2024)
Vesna Marinkovic, Tijana Sukilovic, Filip Maric
Automated triangle constructions in hyperbolic geometry. Ann. Math. Artif. Intell. 91 (6) (2023)
Vesna Marinkovic, Tijana Sukilovic, Filip Maric
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry. CoRR (2022)
Milica Selakovic, Vesna Marinkovic, Predrag Janicic
New dynamics in dynamic geometry: Dragging constructed points. J. Symb. Comput. 97 (2020)
Mladen Nikolic, Vesna Marinkovic, Zoltán Kovács, Predrag Janicic
Portfolio theorem proving and prover runtime prediction for geometry. Ann. Math. Artif. Intell. 85 (2-4) (2019)
Vesna Marinkovic
ArgoTriCS - automated triangle construction solver. J. Exp. Theor. Artif. Intell. 29 (2) (2017)
Pascal Schreck, Vesna Marinkovic, Predrag Janicic
Constructibility Classes for Triangle Location Problems. Math. Comput. Sci. 10 (1) (2016)
Vesna Marinkovic
Proof Simplification in the Framework of Coherent Logic. Comput. Informatics 34 (2) (2015)
Vesna Marinkovic, Predrag Janicic, Pascal Schreck
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems. ADG (2014)
Vesna Marinkovic, Predrag Janicic
Towards Understanding Triangle Construction Problems CoRR (2012)
Vesna Marinkovic, Predrag Janicic
Towards Understanding Triangle Construction Problems. AISC/MKM/Calculemus (2012)