Implementing theorem proving in GeoGebra by using a Singular webservice

Zoltán Kovács, Simon Weitzhofer, F. Botana

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

Original languageEnglish
Title of host publicationProceedings EACA 2012
Editors Universidad de Alcala
Number of pages3
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