Formalizacija i automatsko dokazivanje teorema euklidske geometrije

Doktorand: Stojanović, Sana
Fakultet: Matematički fakultet
Napomena: Rok za dostavljanje primedbi na doktorsku disertaciju je istekao.
Datum postavljanja na uvid javnosti: 17-06-2016
Datum odbrane: 07-09-2016
Objavljeni radovi:
[1]  Sana Stojanovi c Ður evi c, Julien Narboux, and Predrag Jani ci c: Automated generation of machine veri able and readable proofs: A case study of Tarski's geometry. Annals of Mathematics and Arti cial Intelligence, 2015. M22 (IF 2015: 0.922); ISSN: 1012-2443; DOI: 10.1007/s10472-014-9443-5 http: //link.springer.com/article/10.1007%2Fs10472-014-9443-5 Sana Stojanovi c Ður evi c: Automatsko proveravanje neformalnih dokaza teorema srednjo skolske ge- ometrije. InfoM, u stampi, 2016. M52 S. Stojanovi c, V. Pavlovi c, and P. Jani ci c: A coherent logic based geometry theorem prover capable of producing formal and readable proofs. In Automated Deduction in Geometry, volume 6877 of LNAI, pages 201220. Springer, 2011. M33 ISSN: 0302-9743; DOI: 10.1007/978-3-642-25070-5 12 http://link.springer.com/chapter/10.1007%2F978-3-642-25070-5_12 Sana Stojanovi c. Preprocessing of the Axiomatic System for More E cient Automated Proving and Shorter Proofs. In Tetsuo Ida and Jacques Fleuriot, editors, Automated Deduction in Geometry - Revised Selected Papers, 181-192. Springer, 2013. M33 ISSN: 0302-9743; DOI: 10.1007/978-3-642- 40672-0 12 http://link.springer.com/chapter/10.1007%2F978-3-642-40672-0_12 Sana Stojanovi c, Julien Narboux, Marc Bezem, and Predrag Jani ci c. A vernacular for coherent logic. In StephenWatt et.al., editor, Intelligent Computer Mathematics - CICM 2014, volume 8543 of Lecture Notes in Computer Science. Springer, 2014. M33 ISSN: 0302-9743; DOI: 10.1007/978-3-319-08434- 3 28 http://link.springer.com/chapter/10.1007%2F978-3-319-08434-3_28