Sana Stojanovic

According to our database, Sana Stojanovic authored at least 5 papers between 2010 and 2019.

Collaborative distances:

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

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