Vesna Marinkovic

According to our database, Vesna Marinkovic authored at least 13 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Automated triangle constructions in hyperbolic geometry.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

Ann. Math. Artif. Intell., December, 2023

Prolog in Automated Reasoning in Geometry.

Vesna Marinkovic

Proceedings of the Prolog: The Next 50 Years, 2023

Towards Automated Readable Proofs of Ruler and Compass Constructions.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

2021

On Automating Triangle Constructions in Absolute and Hyperbolic Geometry.

Vesna Marinkovic, Tijana Sukilovic, Filip Maric

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2020

New dynamics in dynamic geometry: Dragging constructed points.

Milica Selakovic, Vesna Marinkovic, Predrag Janicic

J. Symb. Comput., 2020

2019

Portfolio theorem proving and prover runtime prediction for geometry.

Mladen Nikolic, Vesna Marinkovic, Zoltán Kovács, Predrag Janicic

Ann. Math. Artif. Intell., 2019

2017

ArgoTriCS - automated triangle construction solver.

Vesna Marinkovic

J. Exp. Theor. Artif. Intell., 2017

2016

Constructibility Classes for Triangle Location Problems.

Pascal Schreck, Vesna Marinkovic, Predrag Janicic

Math. Comput. Sci., 2016

2015

Proof Simplification in the Framework of Coherent Logic.

Vesna Marinkovic

Comput. Informatics, 2015

2014

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.

Vesna Marinkovic, Predrag Janicic, Pascal Schreck

Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

2012

Towards Understanding Triangle Construction Problems.

Vesna Marinkovic, Predrag Janicic

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Fast file existence checking in archiving systems.

Saso Tomazic, Vesna Pavlovic, Jasna Milovanovic, Jaka Sodnik, Anton Kos, Sara Stancin, Veljko M. Milutinovic

ACM Trans. Storage, 2011

2010

A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.

Sana Stojanovic, Vesna Pavlovic, Predrag Janicic

Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010