According to our database1, Vesna Marinkovic authored at least 10 papers between 2010 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
J. Symb. Comput., 2020
Ann. Math. Artif. Intell., 2019
J. Exp. Theor. Artif. Intell., 2017
Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
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