Implementing theorem proving in GeoGebra by exact check of a statement in a bounded number of test cases

  • Zoltán Kovács
  • , Simon Weitzhofer
  • , T. Recio

Research output: Chapter in Book/Report/Conference proceedingConference proceedings

Original languageEnglish
Title of host publicationProceedings EACA 2012
Editors Universidad de Alcala
Number of pages4
Publication statusPublished - 2012

Fields of science

  • 503013 Subject didactics of natural sciences

JKU Focus areas

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

Cite this