Skip to main navigation Skip to search Skip to main content

The portfolio prover in GeoGebra 5

  • Zoltán Kovács (Speaker)

Activity: Talk or presentationContributed talkunknown

Period10 Jul 2014
Event titleAutomated Deduction in Geometry 2014
Event typeConference
LocationPortugalShow 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)