Automated reasoning in elementary geometry: towards inquiry learning

  • Beatrix Hauer
  • , Zoltán Kovács
  • , T. Recio
  • , M. P. Vélez

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationPädagogische Horizonte 2
Pages1-13
Number of pages13
Publication statusPublished - 2018

Fields of science

  • 503 Educational Sciences
  • 503007 Didactics
  • 503008 E-learning
  • 503013 Subject didactics of natural sciences
  • 503015 Subject didactics of technical sciences
  • 503032 Teaching and learning research

JKU Focus areas

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

Cite this