References

  1. C. A. A. P. Abar, Z. Kovács, T. Recio & R. Vajda (2019): Conectando Mathematica e GeoGebra para explorar construções geométricas planas. Presentation at Wolfram Technology Conference, Saõ Paulo, Brazil. Available at https://www.researchgate.net/publication/337499551_Conectando_Mathematica_e_GeoGebra_para_explorar_construcoes_geometricas_planas.
  2. F. Botana, Z. Kovács & T. Recio (2018): Automated Geometer, a Web-based Discovery Tool. In: Hongbo Li: Proceedings of the 12th International Conference on Automated Deduction in Geometry, pp. 7–13.
  3. F. Botana, Z. Kovács & T. Recio (2018): Towards an Automated Geometer. In: J. Fleuriot, D. Wang & J. Calmet: Artificial Intelligence and Symbolic Computation, Lecture Notes in Artificial Intelligence 11110. Springer International Publishing, pp. 215–220, doi:10.1007/978-3-319-99957-9_15.
  4. F. Botana, Z. Kovács & T. Recio (2020): Automatically augmented reality for outdoor mathematics. In: M. Ludwig, S. Jablonski, A. Caldeira & A. Moura: Research on Outdoor STEM Education in the digiTal Age. WTM Verlag für wissenschaftliche Texte und Medien, Münster, pp. 71–78, doi:10.37626/GA9783959871440.0.09.
  5. F. Botana, Z. Kovács & T. Recio (2020): A mechanical geometer. Mathematics in Computer Science 15, pp. 631641, doi:10.1007/s11786-020-00497-7.
  6. O. Bottema, R.Z. Djordjevic, R.R. Janic, D.S. Mitrinovic & P.M. Vasic (1969): Geometric Inequalities. Wolters-Noordhoff Publishing, Groningen.
  7. F. Etayo-Gordejuela, N. de Lucas-Sanz, T. Recio & M. P. Vélez (2021): Inventando teoremas con GeoGebra: un nuevo Teorema de la Altura. Boletín de la Soc. Puig Adam 111, pp. 8–27.
  8. G. Howson & B.Wilson (1986): ICMI Study series: School mathematics in the 1990's. Cambridge University Press, Kuwait.
  9. Z. Kovács & B. Parisse (2015): Giac and GeoGebra – Improved Gröbner Basis Computations. In: J. Gutierrez, J. Schicho & M. Weimann: Computer Algebra and Polynomials, Lecture Notes in Computer Science. Springer, pp. 126–138, doi:10.1007/978-3-319-15081-9_7.
  10. Z. Kovács & P. Pech (2019): Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations. In: C. Kaliszyk, E. Brady, A. Kohlhase & C. Sacerdoti Coen: Intelligent Computer Mathematics, Lecture Notes in Artificial Intelligence 11617. Springer International Publishing, pp. 140–154, doi:10.1007/978-3-030-23250-4_10.
  11. Z. Kovács & T. Recio (2020): GeoGebra reasoning tools for humans and for automatons. Electronic Proceedings of the 25th Asian Technology Conference in Mathematics. Available at http://atcm.mathandtech.org/EP2020/invited/21786.pdf.
  12. Z. Kovács & T. Recio (2021): Alternative Solutions and Comments to the Problem Corner – October 2020 issue. The Electronic Journal of Mathematics and Technology. https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_Alternative_Solutions_to_Oct2020.pdf.
  13. Z. Kovács, T. Recio & M. P. Vélez (2018): Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry. International Journal of Technology in Mathematics Education 25(2), pp. 33–50, doi:10.1564/tme_v25.2.03.
  14. Z. Kovács, T. Recio & M. P. Vélez (2021): Automated Reasoning Tools with GeoGebra: What are they? What are they good for?. In: P. R. Richard, M. P. Vélez & S. Van Vaerenbergh: Mathematics education in the age of artificial intelligence: How artificial intelligence can serve the mathematical human learning. Series: Mathematics Education in the Digital Era. Springer Nature Switzerland AG, pp. to appear.
  15. Z. Kovács, T. Recio & M. P. Vélez (2021): Merging Maple and GeoGebra Automated Reasoning Tools. In: R. M. Corless, J. Gerhard & I. Kotsireas: Maple in Mathematics Education and Research, Communications in Computer and Information Science 1414. Springer Nature Switzerland AG, pp. 252–267, doi:10.1007/978-3-030-81698-8_17.
  16. T. Recio & M. P. Vélez (1999): Automatic Discovery of Theorems in Elementary Geometry. J. Autom. Reasoning 23, pp. 63–82, doi:10.1023/A:1006135322108.
  17. R. Vajda & Z. Kovács (2020): GeoGebra and theıtshape realgeom Reasoning Tool. In: P. Fontaine, K. Korovin, I. S. Kotsireas, P. Rümmer & S. Tourret: PAAR+SC-Square 2020. Workshop on Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020, pp. 204–219. Available at http://ceur-ws.org/Vol-2752/paper15.pdf.
  18. M. de Villiers (2021): An illustration of the explanatory and discovery functions of proof. Pythagoras 33(3), doi:10.4102/pythagoras.v33i3.193.
  19. J. Wilson (1997): Island Treasure, Mathematics Education, EMAT 4600/6600. http://jwilson.coe.uga.edu/EMT725/Treasure/Treasure.html.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org