Development of automatic reasoning tools in GeoGebra

Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse. Development of automatic reasoning tools in GeoGebra. ACM Comm. Computer Algebra, 50(3):85-88, 2016. [doi]

Abstract

Abstract is missing.