• Development of automatic reaso...

Treffer: Development of automatic reasoning tools in GeoGebra

Title:
Development of automatic reasoning tools in GeoGebra
Authors:
Abánades, Miguel, Botana, Francisco, Kovács, Zoltán, Recio, Tomás, Sólyom-Gecse, Csilla
Source:
ACM Communications in Computer Algebra. 50(3):85-88
Availability:
http://dl.acm.org/doi/10.1145/3015306.3015309
Database:
ACM Full-Text Collection