DANIJELA SIMIĆ
Research and Publications
Research Field: Automated and interactive theorem proving, geometryResearch Group: Automated Reasoning GrOup (ARGO) Research Projects: Ministry of Science of Serbia (the research projects 144030 (2006-2010) and 174021 (2011-2015) "Automated Reasoning and Data Mining")
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,
ISSN: 2075-2180
Filip Marić, Danijela Petrović: Formalizing Complex Plane Geometry ,
Annals of
Mathematics and Artificial Intelligence , November 2014, doi: 10.1007/s10472-
041-9436-4, M23, ISSN: 1012-2443, IF: 0.995
Danijela Simić: Using Small-Step Refinement for Algorithm Verification in
Computer Science Education , The International Journal for Technology in Mat
hematics Education (IJTME) , December 2015, doi: 10.1564/tme_v22.4.03, M51,
ISSN: 1744-2710)
Danijela Petrović: Using Small-Step Refinement for Algorithm Verification in Computer Science Education ThEdu'14 , 2014.
Automated Deduction in Geometry, ADG 2012 , September 17-19, 2012,
Edinburgh, United Kingdom Formalizing Analytic Geometries (joint work with Filip Marić) European Summer School in Logic, Language and Information . Ljubljana, Slovenia, August 1-12, 2011. Automated Proving in Geometry using Grobner basis in Isabelle/HOL