Development of Automatic Reasoning Tools in GeoGebra

  • Miguel Abánades (Speaker)
  • F. Botana (Speaker)
  • Csilla Sólyom-Gecse (Speaker)
  • Zoltán Kovács (Speaker)

Activity: Talk or presentationContributed talkunknown

Period20 Jul 2016
Event titleISSAC-41
Event typeConference
LocationCanadaShow 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)