Towards the Automatic Discovery of Theorems in GeoGebra.

Miguel A. Abánades Francisco Botana Zoltán Kovács Tomás Recio Csilla Sólyom-Gecse

Published in: ICMS (2016)

Keyphrases

automatic discovery
web services
semantic web services
artificial intelligence
lightweight
knowledge base
case study
semantic annotation