Vesna Marinkovic

Orcid: 0000-0003-0526-899X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Automated triangle constructions in hyperbolic geometry.
Ann. Math. Artif. Intell., December, 2023

Prolog in Automated Reasoning in Geometry.
Proceedings of the Prolog: The Next 50 Years, 2023

Towards Automated Readable Proofs of Ruler and Compass Constructions.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

2021
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry.
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2020
New dynamics in dynamic geometry: Dragging constructed points.
J. Symb. Comput., 2020

2019
Portfolio theorem proving and prover runtime prediction for geometry.
Ann. Math. Artif. Intell., 2019

2017
ArgoTriCS - automated triangle construction solver.
J. Exp. Theor. Artif. Intell., 2017

2016
Constructibility Classes for Triangle Location Problems.
Math. Comput. Sci., 2016

2015
Proof Simplification in the Framework of Coherent Logic.
Comput. Informatics, 2015

2014
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.
Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

2012
Towards Understanding Triangle Construction Problems.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011
Fast file existence checking in archiving systems.
ACM Trans. Storage, 2011

2010
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.
Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010


  Loading...