Sana Stojanovic

According to our database, Sana Stojanovic authored at least 6 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Formalizing IMO Problems and Solutions in Isabelle/HOL.

Filip Maric, Sana Stojanovic Durdevic

Proceedings of the Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, 2020

2019

From informal to formal proofs in Euclidean geometry.

Sana Stojanovic Durdevic

Ann. Math. Artif. Intell., 2019

2015

Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.

Sana Stojanovic Durdevic, Julien Narboux, Predrag Janicic

Ann. Math. Artif. Intell., 2015

2014

A Vernacular for Coherent Logic.

Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2012

Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.

Sana Stojanovic

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

2010

A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs.

Sana Stojanovic, Vesna Pavlovic, Predrag Janicic

Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010