Automated Theorem Proving in Dynamic Geometry: Current Achievements

  • F. Botana (Other)
  • Zoltán Kovács (Other)
  • T. Recio (Other)

Activity: Other

Description

Organisation der Special Session "Automated Theorem Proving in Dynamic Geometry: Current Achievements" bei der ACA Conference 2016 in Kassel.
Period01 Aug 2016 → 04 Aug 2016

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)

Documents & Links