Formalization and Automation of Geometry

Formalization and Automation of Geometry

Members

De Formalization and Automation of Geometry
Aller à la navigation Aller à la recherche
Serbian members:
  • Predrag Janicic, associate professor, University of Belgrade
  • Filip Maric, assistant professor, University of Belgrade
  • Vesna Marinkovic (born Pavlovic), teaching assistant and PhD student, University of Belgrade
  • Danijela Petrovic, teaching assistant and PhD student, University of Belgrade
  • [1] Ivan Petrovic], PhD student, University of Belgrade
  • Sana Stojanovic, teaching assistant and PhD student, University of Belgrade
French members: