Vesna Marinkovic

According to our database1, Vesna Marinkovic authored at least 9 papers between 2010 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...