Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema

Doktorand: Simić, Danijela
Fakultet: Matematički fakultet
Napomena: Rok za dostavljanje primedbi na doktorsku disertaciju je istekao.
Datum postavljanja na uvid javnosti: 22-05-2017
Datum odbrane: 08-08-2017
Objavljeni radovi:
[1]  Danijela Simić: Using Small-Step Refinement for Algorithm Verification in Computer Science Education. The International Journal for Technology in Mathematics Education (IJTME), November 2015, doi: 10.1564/tme\_v22.4.03, 10.1564/tme\_v22.4.03, M51
[2]  Filip Marić, Danijela Petrović: Formalizing Complex Plane Geometry, Annals of Mathematics and Artificial Intelligence, November 2014. doi: 10.1007/s10472-041-9436-4, M23
[3]  Filip Marić, Ivan Petrović, Danijela Petrović, Predrag Janičić: Formalization and Implementation of Algebraic Methods in Geometry, Electronic Proceedings in Theoretical Computer Science 79, pp. 63–81. doi: 10.4204/EPTCS.79.4, M33