Summary
Our efforts are based on an enormous work of many collaborators and other researchers, including experts of algebraic geometry, computer graphics, computer algebra and programming. This on-going work is a cooperation with Francisco Botana.
Tomás Recio and Francisco Botana were partially supported by MINECO/FEDER grant MTM2014-54141-P.
References
- Abánades, M. A., Botana, F., Kovács, Z., Recio, T. and Sólyom-Gecse, C.: Development of automatic reasoning tools in GeoGebra. Software Demonstration at the ISSAC 2016 Conference. 2016.
- Kovács, Z., Recio, T. and Vélez, M. P.: GeoGebra Automated Reasoning Tools. A Tutorial. 2017.
- Hohenwarter, M., Kovács, Z. and Recio, T.: Deciding geometric properties symbolically in GeoGebra. ICME 13. Oral presentation at Topic Study Group 18: Reasoning and Proof in Mathematics Education. 2016.
- Botana, F. and Valcarce, J. A dynamic-symbolic interface for geometric theorem discovery. In: Computers and Education, 38 p. 21-35. 2002.
- Abánades, M. A., Escribano, J. and Botana F.: Remote Symbolic Computation of Loci, presentation at CADGME 2009, Hagenberg-Linz, Austria. 2009.
- Kovács, Z.: Real-time animated dynamic geometry in the classrooms by using fast Gröbner basis computations. Mathematics in Computer Science, 11(1). 2017.
- Abánades, M., Botana, F., Montes, A., Recio, T.: An algebraic taxonomy for locus computation in dynamic geometry. Computer-Aided Design, 56 p. 22-33. 2014.
- Botana, F., Hohenwarter, M., Janicic, J., Kovács, Z., Recio, T., Petrovic, I., Weitzhofer, S.: Automated Theorem Proving in GeoGebra: Current Achievements. Journal of Automated Reasoning, Volume 55, Issue 1, pp 39-59. June 2015.
- Kovács Z.: Computer Based Conjectures and Proofs in Teaching Euclidean Geometry, PhD dissertation. Johannes Kepler University, Linz, Austria, 2015.
- Abánades, M., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C.: Development of automatic reasoning tools in GeoGebra. ACM Communications in Computer Algebra. Volume 50 Issue 3 p. 85-88. September 2016.
- Botana, F., Recio, T., Velez, M. P.: The role of automated reasoning of geometry statements in mathematics instruction. Poster at the Tenth Congress of European Research in Mathematics Education - CERME 10, Dublin, Ireland. February, 2017.
- Santana, C., Patillo, L., Areas, J.: Let the children play. Moonflower. 1977.