# Vesna Marinkovic

According to our database

Collaborative distances:

^{1}, Vesna Marinkovic authored at least 10 papers between 2010 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

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

2020

J. Symb. Comput., 2020

2019

Ann. Math. Artif. Intell., 2019

2017

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

2016

Math. Comput. Sci., 2016

2015

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

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

2011

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