@misc(Wolfram2019,
 author       = {C. A. A. P. Abar and Z. Kov\'acs and T. Recio and R. Vajda},
 year         = {2019},
 title        = {Conectando {M}athematica e {G}eo{G}ebra para explorar constru\c{c}\~oes geom\'etricas planas},
 howpublished = {Presentation at Wolfram Technology Conference, Sa\~o Paulo, Brazil},
 url          = {https://www.researchgate.net/publication/337499551_Conectando_Mathematica_e_GeoGebra_para_explorar_construcoes_geometricas_planas},
)
@inproceedings(adg-ag-paper,
 author       = {F. Botana and Z. Kov\'acs and T. Recio},
 year         = {2018},
 title        = {Automated Geometer, a Web-based Discovery Tool},
 editor       = {Hongbo Li},
 booktitle    = {Proceedings of the 12th International Conference on Automated Deduction in Geometry},
 pages        = {7--13},
)
@inproceedings(aisc2018,
 author       = {F. Botana and Z. Kov\'acs and T. Recio},
 year         = {2018},
 title        = {Towards an Automated Geometer},
 editor       = {J. Fleuriot and D. Wang and J. Calmet},
 booktitle    = {Artificial Intelligence and Symbolic Computation},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {11110},
 publisher    = {Springer International Publishing},
 pages        = {215--220},
 doi          = {10.1007/978-3-319-99957-9\_15},
)
@inproceedings(BKRoseta,
 author       = {F. Botana and Z. Kov\'acs and T. Recio},
 year         = {2020},
 title        = {Automatically augmented reality for outdoor mathematics},
 editor       = {M. Ludwig and S. Jablonski and A. Caldeira and A. Moura},
 booktitle    = {Research on Outdoor STEM Education in the digiTal Age},
 publisher    = {WTM Verlag f\"ur wissenschaftliche Texte und Medien, M\"unster},
 pages        = {71--78},
 doi          = {10.37626/GA9783959871440.0.09},
)
@article(BKR2020,
 author       = {F. Botana and Z. Kov\'acs and T. Recio},
 year         = {2020},
 title        = {A mechanical geometer},
 journal      = {Mathematics in Computer Science},
 volume       = {15},
 pages        = {631\IeC{\textendash}641},
 doi          = {10.1007/s11786-020-00497-7},
)
@book(Bottema69,
 author       = {O. Bottema and R.Z. Djordjevic and R.R. Janic and D.S. Mitrinovic and P.M. Vasic},
 year         = {1969},
 title        = {Geometric Inequalities},
 publisher    = {Wolters-Noordhoff Publishing, Groningen},
)
@article(ELRV,
 author       = {Etayo-Gordejuela, F. and N. de Lucas-Sanz and T. Recio and M. P. V\'elez},
 year         = {2021},
 title        = {Inventando teoremas con {G}eo{G}ebra: un nuevo Teorema de la Altura},
 journal      = {Bolet{\'\i}n de la Soc. Puig Adam},
 number       = {111},
 pages        = {8--27},
)
@book(HowsonWilson1986,
 author       = {G. Howson and B.Wilson},
 year         = {1986},
 title        = {ICMI Study series: School mathematics in the 1990's},
 publisher    = {Cambridge University Press, Kuwait},
)
@incollection(giac,
 author       = {Z. Kov\'acs and B. Parisse},
 year         = {2015},
 title        = {Giac and {G}eo{G}ebra -- Improved {G}r\"obner Basis Computations},
 editor       = {J. Gutierrez and J. Schicho and M. Weimann},
 booktitle    = {Computer Algebra and Polynomials},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 pages        = {126--138},
 doi          = {10.1007/978-3-319-15081-9\_7},
)
@inproceedings(cicm2019,
 author       = {Z. Kov\'acs and P. Pech},
 year         = {2019},
 title        = {Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations},
 editor       = {C. Kaliszyk and E. Brady and A. Kohlhase and Sacerdoti Coen, C.},
 booktitle    = {Intelligent Computer Mathematics},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {11617},
 publisher    = {Springer International Publishing},
 pages        = {140--154},
 doi          = {10.1007/978-3-030-23250-4\_10},
)
@article(KR2020,
 author       = {Z. Kov\'acs and T. Recio},
 year         = {2020},
 title        = {{G}eo{G}ebra reasoning tools for humans and for automatons},
 journal      = {Electronic Proceedings of the 25th Asian Technology Conference in Mathematics},
 url          = {http://atcm.mathandtech.org/EP2020/invited/21786.pdf},
)
@article(KR2021,
 author       = {Z. Kov\'acs and T. Recio},
 year         = {2021},
 title        = {Alternative Solutions and Comments to the {P}roblem {C}orner -- {O}ctober 2020 issue},
 journal      = {The Electronic Journal of Mathematics and Technology},
 note         = {\url{https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_Alternative_Solutions_to_Oct2020.pdf}},
)
@article(ijtme2018,
 author       = {Z. Kov{\'{a}}cs and T. Recio and M. P. V\'elez},
 year         = {2018},
 title        = {Using Automated Reasoning Tools in {GeoGebra} in the Teaching and Learning of Proving in Geometry},
 journal      = {International Journal of Technology in Mathematics Education},
 volume       = {25},
 number       = {2},
 pages        = {33--50},
 doi          = {10.1564/tme\_v25.2.03},
)
@incollection(MEIA_MEDE_KRV,
 author       = {Z. Kov\'acs and T. Recio and M. P. V\'elez},
 year         = {2021},
 title        = {Automated Reasoning Tools with {G}eo{G}ebra: What are they? What are they good for?},
 editor       = {P. R. Richard and V\IeC{\'e}lez, M. P. and Van Vaerenbergh, S.},
 booktitle    = {Mathematics education in the age of artificial intelligence: How artificial intelligence can serve the mathematical human learning},
 publisher    = {Series: Mathematics Education in the Digital Era. Springer Nature Switzerland AG},
 pages        = {to appear},
)
@incollection(KRV2021,
 author       = {Z. Kov\'acs and T. Recio and M. P. V\'elez},
 year         = {2021},
 title        = {Merging {M}aple and {G}eo{G}ebra {A}utomated {R}easoning {T}ools},
 editor       = {R. M. Corless and J. Gerhard and I. Kotsireas},
 booktitle    = {Maple in Mathematics Education and Research, Communications in Computer and Information Science},
 volume       = {1414},
 publisher    = {Springer Nature Switzerland AG},
 pages        = {252--267},
 doi          = {10.1007/978-3-030-81698-8\_17},
)
@article(RecioVelez1999,
 author       = {T. Recio and M. P. V\'{e}lez},
 year         = {1999},
 title        = {Automatic Discovery of Theorems in Elementary Geometry},
 journal      = {J. Autom. Reasoning},
 volume       = {23},
 pages        = {63--82},
 doi          = {10.1023/A:1006135322108},
)
@inproceedings(scsc-2020,
 author       = {R. Vajda and Z. Kov\'acs},
 year         = {2020},
 title        = {{G}eo{G}ebra and the {\itshape realgeom} Reasoning Tool},
 editor       = {P. Fontaine and K. Korovin and I. S. Kotsireas and P. R\"ummer and S. Tourret},
 booktitle    = {PAAR+SC-Square 2020. Workshop on Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020},
 pages        = {204--219},
 url          = {http://ceur-ws.org/Vol-2752/paper15.pdf},
)
@article(DeVilliers2012,
 author       = {M. de Villiers},
 year         = {2021},
 title        = {An illustration of the explanatory and discovery functions of proof},
 journal      = {Pythagoras},
 volume       = {33},
 number       = {3},
 doi          = {10.4102/pythagoras.v33i3.193},
)
@misc(Wilson1997,
 author       = {J. Wilson},
 year         = {1997},
 title        = {Island Treasure, Mathematics Education, EMAT 4600/6600},
 note         = {\url{http://jwilson.coe.uga.edu/EMT725/Treasure/Treasure.html}},
)