@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Novakovic Viktor,Maric Filip M},
year={2025},
title={Readable automated proofs of ruler and compass constructions},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Milojkovic Dara,Marinkovic Vesna},
year={2024},
title={Angle Trisection with Origami and Proving Its Correctness Using Grobner Basis},
journal={TEACHING OF MATHEMATICS},
volume={27},
number={2},
pages={59-78},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Maric Filip M},
year={2023},
title={Automated triangle constructions in hyperbolic geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={91},
number={6},
pages={821-849},
document_type={Article},
} 

@ARTICLE{
author={Selakovic Milica,Marinkovic Vesna,Janicic Predrag},
year={2020},
title={New dynamics in dynamic geometry: Dragging constructed points},
journal={JOURNAL OF SYMBOLIC COMPUTATION},
volume={97},
number={},
pages={3-15},
document_type={Article},
} 

@ARTICLE{
author={Nikolic Mladen,Marinkovic Vesna,Kovacs Zoltan,Janicic Predrag},
year={2019},
title={Portfolio theorem proving and prover runtime prediction for geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={85},
number={2-4},
pages={119-146},
document_type={Article; Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vesna},
year={2017},
title={ArgoTriCS - automated triangle construction solver},
journal={JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE},
volume={29},
number={2},
pages={247-271},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Vesna},
year={2015},
title={Proof Simplification in the Framework of Coherent Logic},
journal={COMPUTING AND INFORMATICS},
volume={34},
number={2},
pages={337-366},
document_type={Article},
}