Research
- Research Field: Automated and interactive theorem proving, geometry
- Research 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")
Talks and Conferences
- 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
Danijela Petrović: Formalizing Analytic Geometries (joint work with Filip Marić)
European Summer School in Logic, Language and Information. Ljubljana, Slovenia, August 1-12, 2011.
Danijela Petrović: Automated Proving in Geometry using Grobner basis in Isabelle/HOL