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")

Papers

Talks and Conferences

Education and Degrees