Portfolio Methods in Theorem Proving for Elementary Geometry

  • Vesna Marinkovic (Speaker)
  • Mladen Nikolic (Speaker)
  • Predrag Janicic (Speaker)
  • Zoltán Kovács (Speaker)

Activity: Talk or presentationContributed talkunknown

Period27 Jun 2016
Event titleADG-11
Event typeConference
LocationFranceShow on map

Fields of science

  • 503 Educational Sciences
  • 503007 Didactics
  • 503013 Subject didactics of natural sciences

JKU Focus areas

  • Computation in Informatics and Mathematics
  • Engineering and Natural Sciences (in general)