% Encoding: UTF-8 @InProceedings{LNAI11006-regularngons, author = {Zolt\'an Kov\'acs}, title = {Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools}, booktitle = {Intelligent Computer Mathematics}, year = {2018}, editor = {F. Rabe and W. Farmer and G. Passmore and A. Youssef}, eventtitleaddon = {Conference on Intelligent Computer Mathematics}, venue = {Hagenberg im M\"uhlkreis, Austria}, volume = {11006}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer International Publishing}, month = 7, isbn = {978-3-319-96812-4}, chapter = {15}, pages = {1-14}, doi = {10.1007/978-3-319-96812-4\_15}, } @Misc{TowardsDiscovery-ICMS2016-pres, Title = {Automated discovery of elementary geometry theorems: First steps}, Author = {Ab{\'a}nades, Miguel and Botana, Francisco and Kov{\'a}cs, Zolt{\'a}n and Recio, Tom{\'a}s and S{\'o}lyom-Gecse, Csilla}, HowPublished = {Presentation at ICMS-5, Berlin, Germany}, Month = {7}, Year = {2016}, Date = {July 11-14, 2016}, Timestamp = {2016.11.15}, Volume = {9725} } @Article{ART-ISSAC2016, Title = {Development of Automatic Reasoning Tools in {G}eo{G}ebra}, Author = {Ab\'{a}nades, Miguel and Botana, Francisco and Kov\'{a}cs, Zolt\'{a}n and Recio, Tom\'{a}s and S\'{o}lyom-Gecse, Csilla}, Journal = {ACM Commun. Comput. Algebra}, Year = {2016}, Month = {11}, Number = {3}, Pages = {85--88}, Volume = {50}, Abstract = {Much effort has been put into the implementation of automatic proving in interactive geometric environments (e.g. Java Geometry Expert, GeoGebra). The closely related concept of automatic discovery, remains however almost unexplored. This software presentation will demonstrate our results towards the incorporation of automatic discovery capabilities into GeoGebra, an educational software with tens of millions of users worldwide. As main result, we report on a new command, currently available in the official version, that allows the automatic discovery of loci of points in diagrams defined by implicit conditions. This represents an extension of a previous command, similar in nature, but restricted to loci defined by the standard mover-tracer construction. Our proposal successfully automates the 'dummy locus dragging' in dynamic geometry. This makes the cycle conjecturing-checking-proving accessible for general users in elementary geometry.}, Acmid = {3015309}, Address = {New York, NY, USA}, Doi = {10.1145/3015306.3015309}, ISSN = {1932-2240}, Issue_date = {September 2016}, Numpages = {4}, Publisher = {ACM}, doi = {10.1145/3015306.3015309} } @Misc{ART-ISSAC2016-pres, Title = {Development of Automatic Reasoning Tools in {G}eo{G}ebra}, Author = {Ab\'{a}nades, Miguel and Botana, Francisco and Kov\'{a}cs, Zolt\'{a}n and Recio, Tom\'{a}s and S\'{o}lyom-Gecse, Csilla}, HowPublished = {Presentation at ISSAC-41, Waterloo, Canada}, Month = {7}, Year = {2016}, Date = {20-22 July, 2016}, Owner = {kovzol}, Timestamp = {2016.11.15} } @Misc{ImplicitLoci-CADGME2016, Title = {Automatic Discovery in {GeoGebra}: First Steps}, Author = {Ab\'{a}nades, Miguel and Botana, Francisco and Kov\'{a}cs, Zolt\'{a}n and Recio, Tom\'{a}s and S\'{o}lyom-Gecse, Csilla}, HowPublished = {Presentation at {CADGME}-6, T\^argu Mure\c{s}, Romania}, Month = {9}, Note = {\url{https://www.researchgate.net/publication/310249775_Automatic_Discovery_in_GeoGebra_First_Steps}}, Year = {2016}, Date = {7-10 September, 2016}, Owner = {kovzol}, Timestamp = {2016.11.15} } @InProceedings{Discovery-ADG2016, Title = {Implementing Automatic Discovery in {G}eo{G}ebra}, Author = {Miguel A. Ab\'anades and Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio and Csilla S\'olyom-Gecse}, Booktitle = {{Proceedings of ADG 2016}}, Year = {2016}, Address = {Strasbourg, France}, Editor = {Julien Narboux and Pascal Schreck and Elena Streinu}, Month = Jun, Pages = {23--32}, Abstract = {A prototype for the automatic discovery and derivation of elementary geometry statements, based on the implementation of computational algebraic geometry methods onto the dynamic geometry program GeoGebra, is presented. The emphasis is placed on the diverse mathematical and educational challenges posed by the—apparently straightforward—application of some well known algorithms onto the GeoGebra framework.}, Date = {June 27-29, 2016}, File = {ADG2016-Proceedings%20.pdf:https\://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf:PDF}, Hal_id = {hal-01334334}, Hal_version = {v1}, Url = {https://hal.inria.fr/hal-01334334} } @Misc{Discovery-ADG2016-pres, Title = {Implementing Automatic Discovery in {G}eo{G}ebra}, Author = {Miguel A. Ab\'anades and Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio and Csilla S\'olyom-Gecse}, HowPublished = {Presentation at ADG-11, Strasbourg, France}, Month = {6}, Note = {\url{https://www.researchgate.net/publication/304518210_Implementing_Automatic_Discovery_in_GeoGebra}}, Year = {2016}, Date = {June 27-29, 2016}, Timestamp = {2016.11.19} } @Article{GgW, author = {Ancsin, G\'abor and Hohenwarter, Markus and Kov\'acs, Zolt\'an}, title = {{G}eo{G}ebra goes web}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2013}, volume = {7}, number = {6}, pages = {412--418}, url = {https://www.researchgate.net/publication/273720485_GeoGebra_goes_Web}, } @Article{GgM, author = {Ancsin, G\'abor and Hohenwarter, Markus and Kov\'acs, Zolt\'an}, title = {{G}eo{G}ebra goes mobile}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2011}, volume = {5}, number = {2}, pages = {160-168}, url = {https://www.researchgate.net/publication/267715852_GeoGebra_goes_Mobile}, abstract = {The introduction of smartphones with broadband Internet access allows students to access ed-ucational materials from almost everywhere. While the open source software GeoGebra is widely used on desktop and laptop computers, it is currently not available for the majority of mobile touchscreen devices like Apple's iPhone/iPad or Google's Android devices. In this paper we de-scribe the project GeoGebraMobile which aims to overcome this limitation by making GeoGebra applets accessible to students on a wide range of mobile devices}, owner = {kovzol}, timestamp = {2016.11.09}, } @Misc{GeoGebraWeb-CADGME2012, author = {G\'abor Ancsin and Markus Hohenwarter and Zolt\'an Kov\'acs}, title = {GeoGebraWeb -- the next generation dynamic mathematics software}, year = {2012}, howpublished = {Presentation at CADGME-4, Novi Sad, Serbia}, month = {6}, url = {https://prezi.com/9gvprgeb-qbp/geogebraweb-the-next-generation-dynamic-mathematics-software/}, abstract = {Past and present of GeoGebra is a developing story for the CADGME community. One of its most important subprojects is GeoGebraWeb, inspired by several CADGME contributors as well. The main idea is that pure HTML5/Javascript applications are even more portable than Java applications, and they usually run significantly faster on the same hardware. While its predecessor, GeoGebraMobile was a fork of GeoGebra, the GeoGebraWeb application has a common codebase with GeoGebra itself. This means that (almost) the same functionality is provided by both applications. Our talk will focus on some technical details of this commonization process, including its planning efforts, the organization of the work, technical issues on using common pieces of source code for the Java and the Javascript applications, enhancing the quality of the existing source code and its documentation, and the automatic testing and deployment behind to ensure a quality product continuously. Supported by Google Inc., GeoGebraWeb can be directly used in the Chrome OS and the Chrome Book as well, and soon will be a full featured web application with a uniform graphical user interface on both smartphones and tablet machines. In addition, GeoGebraWeb already includes the first full featured Javascript based computer algebra system, GGBReduce, and will be extended to support spreadsheets and 3D visualization, too.}, owner = {kovzol}, timestamp = {2016.11.10}, } @Misc{JSMeetUp, Title = {GeoGebraMobile}, Author = {G\'abor Ancsin and Zolt\'an Kov\'acs}, HowPublished = {Talk at JavaScript MeetUp, Budapest}, Month = {10}, Year = {2010}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Book{prakt3, author = {Bagota, M\'onika and Kov\'acs, Zolt\'an and Krisztin N\'emet, Istv\'an}, title = {Matematikai praktikum feladatgy\H{uj}tem\'eny}, year = {2010}, edition = {3}, publisher = {Polygon, Szeged}, url = {http://www.typotex.hu/book/3944/matematikai_praktikum_feladatgyujtemeny}, owner = {kovzol}, timestamp = {2016.11.10}, } @Book{prakt2, author = {Bagota, M\'onika and Kov\'acs, Zolt\'an and Krisztin N\'emet, Istv\'an}, title = {Matematikai praktikum feladatgy\H{uj}tem\'eny}, year = {2008}, edition = {2}, publisher = {Polygon, Szeged}, url = {http://www.typotex.hu/book/3944/matematikai_praktikum_feladatgyujtemeny}, owner = {kovzol}, timestamp = {2016.11.10}, } @Book{prakt1, author = {Bagota, M\'onika and Kov\'acs, Zolt\'an and Krisztin N\'emet, Istv\'an}, title = {Matematikai praktikum feladatgy\H{uj}tem\'eny}, year = {2007}, edition = {1}, publisher = {Polygon, Szeged}, url = {http://www.typotex.hu/book/3944/matematikai_praktikum_feladatgyujtemeny}, owner = {kovzol}, timestamp = {2016.11.10}, } @Booklet{formconv-0.8.7, Title = {Formula Converter (formconv) 0.8.7}, Author = {G\'abor Bakos and Zolt\'an Kov\'acs}, Year = {2008}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{formconv-0.9, Title = {Formula Converter (formconv) 0.9}, Author = {G\'abor Bakos and Robert Ma\v{r}\'{\i}k and Zolt\'an Kov\'acs}, Year = {2009}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Bolyai-CADGME2016, Title = {Euclid, Bolyai and the exemplification in teaching of geometry}, Author = {Norbert Bogya and Lajos Szilassi and Zolt\'an Kov\'acs}, HowPublished = {Presentation at CADGME-6, T\^argu Mure\c{s}, Romania}, Month = {9}, Year = {2016}, Date = {7-10 September, 2016}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{choral, Title = {Automated Theorem Proving in {G}eo{G}ebra: Current Achievements}, Author = {Botana, Francisco and Hohenwarter, Markus and Jani\v{c}i\'{c}, Predrag and Kov\'acs, Zolt\'an and Petrovi\'c, Ivan and Recio, Tom\'as and Weitzhofer, Simon}, Journal = {Journal of Automated Reasoning}, Year = {2015}, Number = {1}, Pages = {39-59}, Volume = {55}, Doi = {10.1007/s10817-015-9326-4}, ISSN = {0168-7433}, Keywords = {Secondary education; Interactive learning environments; Intelligent tutoring systems; Automatic theorem proving}, Language = {English}, Publisher = {Springer Netherlands} } @Article{LociEnvelopes-arXiv, Title = {New tools in {GeoGebra} offering novel opportunities to teach loci and envelopes}, Author = {Francisco Botana and Zolt{\'{a}}n Kov{\'{a}}cs}, Journal = {CoRR}, Year = {2016}, Volume = {abs/1605.09153}, Bibsource = {dblp computer science bibliography, http://dblp.org}, Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/BotanaK16}, Timestamp = {Wed, 01 Jun 2016 15:51:08 +0200}, Url = {http://arxiv.org/abs/1605.09153} } @Misc{LociEnvelopes-CADGME2014, Title = {Teaching loci and envelopes in {GeoGebra}}, Author = {Francisco Botana and Zolt\'an Kov\'acs}, HowPublished = {Presentation at CADGME-5, University of Halle-Wittenberg, Germany}, Month = {9}, Year = {2014}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{SWS-AMAI2014, Title = {A {S}ingular web service for geometric computations}, Author = {Botana, Francisco and Kov\'acs, Zolt\'an}, Journal = {Annals of Mathematics and Artificial Intelligence}, Year = {2014}, Month = Nov, Pages = {1--12}, Doi = {10.1007/s10472-014-9438-2}, ISSN = {1012-2443}, Keywords = {Web services; Dynamic geometry; Parametric polynomial systems; Geometric loci; Envelopes; MSC2010 68W30; MSC2010 68T35}, Language = {English}, Publisher = {Springer} } @Misc{recio-pres, Title = {Implementing theorem proving in {G}eo{G}ebra by using a {S}ingular webservice, or by exact check of a statement in a bounded number of test cases}, Author = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio and Simon Weitzhofer}, HowPublished = {Presentation at {EACA}-XIII}, Month = {6}, Note = {\url{https://www.researchgate.net/publication/304518636_Automatic_rewrites_of_input_expressions_in_complex_algebraic_geometry_provers_presentation_slides}}, Year = {2012} } @Misc{recio-pres-CADGME2012, author = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio and Simon Weitzhofer}, title = {Implementing theorem proving in {G}eo{G}ebra by using various methods}, year = {2012}, howpublished = {Presentation at CADGME-4, Novi Sad, Serbia}, month = {6}, ourl = {https://www.researchgate.net/publication/377666291_Implementing_theorem_proving_in_GeoGebra_by_using_various_methods}, owner = {kovzol}, timestamp = {2016.11.11}, doi = {10.13140/RG.2.2.34398.20809} } @InCollection{sws-eaca-paper, author = {Francisco Botana and Zolt\'an Kov\'acs and Simon Weitzhofer}, title = {Implementing theorem proving in {G}eo{G}ebra by using a {S}ingular webservice}, booktitle = {Proceedings EACA 2012, Libro de Res\'umenes del XIII Encuentro de \'Algebra Computacional y Aplicaciones}, year = {2012}, publisher = {Universidad de Alcal\'a}, pages = {67--70}, url = {https://www.researchgate.net/publication/277475035_Implementing_Theorem_Proving_in_GeoGebra_by_Using_a_Singular_Webservice}, } @InCollection{ACA2015, author = {Roman Ha\v{s}ek and Zolt\'an Kov\'acs and Jan Zahradn\'{\i}k}, title = {Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra}, booktitle = {Applications of Computer Algebra: Kalamata, Greece, July 20--23 2015}, year = {2017}, editor = {I. S. Kotsireas and E. Mart\'{\i}nez-Moro}, volume = {198}, series = {Springer Proceedings in Mathematics \& Statistics}, publisher = {Springer}, isbn = {978-3-319-56932-1}, pages = {191-205}, doi = {10.1007/978-3-319-56932-1_12}, url = {https://www.researchgate.net/publication/318713589_Contemporary_Interpretation_of_a_Historical_Locus_Problem_with_the_Use_of_Computer_Algebra}, abstract = {This paper deals with the joint use of computer algebra and the dynamic geometry features of the mathematics software GeoGebra to solve a locus problem. Through a generally unknown problem from an eighteenth century Latin book of geometry exercises the use of the computer algebra features of GeoGebra will be presented on the one hand as a means of automatic computation of the locus equation and on the other hand as an environment to realize the symbolic step-by-step derivation of the equation. The core principles of the effective implementation of computer algebra functions within the dynamic geometry system will be presented. An enhanced approach to solving the problem, inspired by the findings from the use of the computer to investigate the locus, will cause the appearance of an unexpected and until now not described curve.}, month = {7}, owner = {kovzol}, timestamp = {2017.06.05}, } @Misc{AgeReason-IGC2014, Title = {Loci problems in {A}ge of {R}eason and their effect on {G}eo{G}ebra: Locus equations and their factorization in {G}eo{G}ebra}, Author = {Roman Ha\v{s}ek and Zolt\'an Kov\'acs and Jan Zahradn\'{\i}k}, HowPublished = {Presentation at the {I}nternational {G}eo{G}ebra {C}onference, {B}udapest, Hungary}, Month = {1}, Note = {\url{https://www.researchgate.net/publication/288975684_Loci_problems_in_Age_of_Reason_and_their_effect_on_GeoGebra_Locus_equations_and_their_factorization_in_GeoGebra}}, Year = {2014}, Owner = {kovzol}, Timestamp = {2016.11.09} } @Booklet{GG5, Title = {{G}eo{G}ebra 5}, Author = {Hohenwarter, Markus and Borcherds, Michael and Ancsin, G\'abor and Bencze, Bal\'azs and Blossier, Mathieu and Delobelle, Arnold and Denizet, Calixte and \'Eli\'as, Judit and Fekete, \'Arp\'ad and G\'al, L\'aszl\'o and Kone\v{c}n\'y, Zbyn\v{e}k and Kov\'acs, Zolt\'an and Lizelfelner, Stefan and Parisse, Bernard and Sturr, George}, Month = sep, Note = {\url{http://www.geogebra.org}}, Year = {2014} } @Booklet{GGT, Title = {{G}eo{G}ebra{T}ube}, Author = {Hohenwarter, Markus and Borcherds, Michael and Ancsin, G\'abor and Bencze, Bal\'azs and Blossier, Mathieu and Delobelle, Arnold and Denizet, Calixte and \'Eli\'as, Judit and Fekete, \'Arp\'ad and G\'al, L\'aszl\'o and Kone\v{c}n\'y, Zbyn\v{e}k and Kov\'acs, Zolt\'an and Lizelfelner, Stefan and Parisse, Bernard and Sturr, George}, Month = feb, Note = {\url{http://www.geogebratube.org}}, Year = {2014} } @Booklet{GG44, Title = {{G}eo{G}ebra 4.4}, Author = {Hohenwarter, Markus and Borcherds, Michael and Ancsin, G\'abor and Bencze, Bal\'azs and Blossier, Mathieu and Delobelle, Arnold and Denizet, Calixte and \'Eli\'as, Judit and Fekete, \'Arp\'ad and G\'al, L\'aszl\'o and Kone\v{c}n\'y, Zbyn\v{e}k and Kov\'acs, Zolt\'an and Parisse, Bernard and Sturr, George}, Month = dec, Note = {\url{http://www.geogebra.org}}, Year = {2013} } @Booklet{GG42, Title = {{G}eo{G}ebra 4.2}, Author = {Hohenwarter, Markus and Borcherds, Michael and Ancsin, G\'abor and Blossier, Mathieu and Delobelle, Arnold and Denizet, Calixte and \'Eli\'as, Judit and Fekete, \'Arp\'ad and Kone\v{c}n\'y, Zbyn\v{e}k and Kov\'acs, Zolt\'an and Kreis, Yves and Sonner, Florian and Sturr, George and Ulven, Hans-Petter}, Note = {\url{http://www.geogebra.org}}, Year = {2012}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{GG40, Title = {{G}eo{G}ebra 4.0}, Author = {Hohenwarter, Markus and Borcherds, Michael and Ancsin, G\'abor and Blossier, Mathieu and Delobelle, Arnold and Denizet, Calixte and Fekete, \'Arp\'ad and Kone\v{c}n\'y, Zbyn\v{e}k and Kov\'acs, Zolt\'an and Kreis, Yves and Sonner, Florian and Sturr, George and Ulven, Hans-Petter}, Note = {\url{http://www.geogebra.org}}, Year = {2012}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{Deciding-R&E-SOURCE, author = {Markus Hohenwarter and Zolt\'an Kov\'acs and Tom\'as Recio}, title = {Deciding geometric properties symbolically in {G}eo{G}ebra}, journal = {R\&E-SOURCE}, year = {2017}, month = {3}, pages = {1-4}, note = {Special Issue \#6: 13th International Congress on Mathematical Education (ICME-13)}, issn = {2313-1640}, url = {https://journal.ph-noe.ac.at/index.php/resource/article/view/411}, abstract = {It is well known that Dynamic Geometry (DGS) software systems can be useful tools in the teaching/learning of reasoning and proof. GeoGebra 5.0 was recently extended by an Automated Theorem Prover (ATP) subsystem that is able to compute proofs of Euclidean geometry statements. Free availability and portability of GeoGebra has made it possible to harness these novel techniques on tablets, smartphones and computers. Then, we think it is urgently necessary to address the new challenges posed by the availability of geometric ATP’s to millions of students worldwide.}, howpublished = {Presentation at {ICME}-13, Hamburg, Germany}, owner = {kovzol}, timestamp = {2017.03.24}, } @Misc{Deciding-ICME2016, Title = {Deciding geometric properties symbolically in {G}eo{G}ebra}, Author = {Markus Hohenwarter and Zolt\'an Kov\'acs and Tom\'as Recio}, HowPublished = {Presentation at {ICME}-13, Hamburg, Germany}, Month = {7}, Note = {\url{https://www.researchgate.net/publication/309771437_Deciding_geometric_properties_symbolically_in_GeoGebra}, \url{https://www.researchgate.net/publication/305916853_Deciding_geometric_properties_symbolically_in_GeoGebra}}, Year = {2016} } @InProceedings{complex, author = {Jan Hubi\v{c}ka and Zolt\'an Kov\'acs and Zolt\'an {Kov\'acs~(Ny\'{\i}regyh\'aza)}}, title = {Visualizations on the Complex Plane}, booktitle = {Computer Algebra Systems and Dynamic Geometry Systems in Mathematics Teaching. Proceedings of Sprout-Selecting Conference}, year = {2004}, editor = {Csaba S\'arv\'ari}, note = {MATHDI 2005e.02418}, pages = {12-27}, url = {https://www.researchgate.net/publication/277475180_Visualizations_on_the_Complex_Plane}, address = {P\'ecs}, owner = {kovzol}, timestamp = {2016.11.09}, } @Booklet{Xaos-3.2, Title = {XaoS 3.2}, Author = {Jan Hubi\v{c}ka and Zolt\'an Kov\'acs and J. B. Langston and \'Arp\'ad Fekete}, Year = {2006}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{Xaos-3.1, Title = {XaoS 3.1}, Author = {Jan Hubi\v{c}ka and Zolt\'an Kov\'acs and Andreas Madritsch and J. B. Langston}, Year = {2003}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{Decomp1-tmcs, author = {J\'ozsef Kosztol\'anyi and Zolt\'an Kov\'acs and Erzs\'ebet Nagy}, title = {Decomposition of Triangles into Isosceles Triangles {I}: Let the students ask bravely}, journal = {Teaching Mathematics and Computer Science}, year = {2004}, volume = {2}, number = {1}, pages = {163-184}, note = {MATHDI 2005c.01141}, url = {https://www.researchgate.net/publication/277475319_Decomposition_of_triangles_into_isosceles_triangles_I_Let_the_students_ask_bravely}, owner = {kovzol}, timestamp = {2016.11.10}, doi = {10.5485/TMCS.2004.0058} } @Article{Decomp2-tmcs, author = {J\'ozsef Kosztol\'anyi and Zolt\'an Kov\'acs and Erzs\'ebet Nagy}, title = {Decomposition of Triangles into Isosceles Triangles {II}: Complete solution of the problem by using a computer}, journal = {Teaching Mathematics and Computer Science}, year = {2004}, volume = {2}, number = {2}, pages = {275-300}, note = {MATHDI 2005c.01142}, url = {https://www.researchgate.net/publication/277475322_Decomposition_of_triangles_into_isosceles_triangles_II_Complete_solution_of_the_problem_by_using_a_computer}, doi = {10.5485/TMCS.2004.0059} } @Article{Chess-arXiv, Title = {The epsilon-delta game and the chess}, Author = {Zolt{\'{a}}n Kov{\'{a}}cs}, Journal = {CoRR}, Year = {2017}, Volume = {abs/1701.07335}, Url = {http://arxiv.org/abs/1701.07335} } @Article{not-circle-arXiv, author = {Zolt{\'{a}}n Kov{\'{a}}cs}, title = {No, This is not a Circle!}, journal = {CoRR}, year = {2017}, volume = {abs/1704.08483v2}, url = {http://arxiv.org/abs/1704.08483v2}, } @PhdThesis{phdthesis, author = {Zolt{\'{a}}n Kov{\'{a}}cs}, title = {Computer Based Conjectures and Proofs in Teaching Euclidean Geometry}, year = {2015}, month = {7}, url = {https://www.researchgate.net/publication/282217663_Computer_Based_Conjectures_and_Proofs_in_Teaching_Euclidean_Geometry}, school = {Johannes Kepler University, Linz}, } @Article{DBLP:journals/corr/KovacsS16, Title = {{GeoGebra} Tools with Proof Capabilities}, Author = {Zolt{\'{a}}n Kov{\'{a}}cs and Csilla S{\'{o}}lyom{-}Gecse}, Journal = {CoRR}, Year = {2016}, Volume = {abs/1603.01228}, Bibsource = {dblp computer science bibliography, http://dblp.org}, Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/KovacsS16}, Timestamp = {Sat, 02 Apr 2016 11:49:48 +0200}, Url = {http://arxiv.org/abs/1603.01228} } @Misc{GTPC-CADGME2016, Title = {{GeoGebra} Tools with Proof Capabilities}, Author = {Zolt{\'{a}}n Kov{\'{a}}cs and Csilla S{\'{o}}lyom{-}Gecse}, HowPublished = {Presentation at {CADGME}-6, T\^argu Mure\c{s}, Romania}, Month = {9}, Note = {\url{https://www.researchgate.net/publication/309779192_GeoGebra_Tools_with_Proof_Capabilities}}, Year = {2016} } @InCollection{RelTool-ADG2014, author = {Kov{\'a}cs, Zolt{\'a}n}, title = {The {R}elation {T}ool in {G}eo{G}ebra 5}, booktitle = {Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers}, year = {2015}, editor = {Botana, Francisco and Quaresma, Pedro}, publisher = {Springer International Publishing}, isbn = {978-3-319-21362-0}, pages = {53--71}, doi = {10.1007/978-3-319-21362-0\_4}, address = {Cham}, } @InProceedings{Rewrites-ADG2016, Title = {Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers}, Author = {Kov{\'a}cs, Zolt{\'a}n and Recio, Tom{\'a}s and S{\'o}lyom-Gecse, Csilla}, Booktitle = {{Proceedings of ADG 2016}}, Year = {2016}, Address = {Strasbourg, France}, Editor = {Julien Narboux and Pascal Schreck and Elena Streinu}, Month = Jun, Pages = {137-143}, Abstract = {We present an algorithm to help converting expressions having non-negative quantities (like distances) in Euclidean geometry theorems to be usable in a complex algebraic geometry prover. The algorithm helps in refining the output of an existing prover, therefore it supports immediate deployment in high level prover systems.}, File = {ADG2016-Proceedings%20.pdf:https\://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf:PDF}, Hal_id = {hal-01334334}, Hal_version = {v1}, Url = {https://hal.inria.fr/hal-01334334} } @Misc{Rewrites-ADG2016-pres, Title = {Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers}, Author = {Kov{\'a}cs, Zolt{\'a}n and Recio, Tom{\'a}s and S{\'o}lyom-Gecse, Csilla}, HowPublished = {Presentation at ADG-11, Strasbourg, France}, Month = {6}, Note = {\url{https://www.researchgate.net/publication/304518636_Automatic_rewrites_of_input_expressions_in_complex_algebraic_geometry_provers_presentation_slides}}, Year = {2016}, Owner = {kovzol}, Timestamp = {2016.11.19} } @InCollection{Portfolio-ADG2014, author = {Kov\'acs, Zolt\'an}, title = {The portfolio prover in {G}eo{G}ebra 5}, booktitle = {Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), 9-11 July 2014}, year = {2014}, editor = {Botana, Francisco and Quaresma, Pedro}, publisher = {University of Coimbra, Portugal}, pages = {191--205}, url = {https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR%202014-01.pdf}, issn = {0874-338X}, } @InCollection{Newton, author = {Zolt\'an Kov\'acs}, title = {Understanding convergence and stability of the Newton-Raphson method}, booktitle = {Interesting Mathematical Problems in Sciences and Everyday Life}, year = {2011}, editor = {R\'obert Vajda and J\'anos Karsai}, publisher = {University of Szeged, University of Novi Sad}, url = {https://www.researchgate.net/publication/277475242_Understanding_convergence_and_stability_of_the_Newton-Raphson_method}, month = {1}, owner = {kovzol}, timestamp = {2016.11.09}, } @Booklet{giac-electron-example-gh, Title = {giac-electron-example}, Author = {Kov\'acs, Zolt\'an}, HowPublished = {A GitHub project}, Month = {5}, Note = {\url{https://github.com/kovzol/giac-electron-example}}, Year = {2017}, Journal = {GitHub repository}, Publisher = {GitHub} } @Article{mcs, author = {Zolt\'an Kov\'acs}, title = {Real-time animated dynamic geometry in the classrooms by using fast {G}r\"obner basis computations}, journal = {Mathematics in Computer Science}, year = {2017}, volume = {11}, number = {3-4}, month = {3}, pages = {351-361}, doi = {10.1007/s11786-017-0308-2}, url = {http://link.springer.com/article/10.1007/s11786-017-0308-2}, abstract = {Real-time animation of loci and envelopes in dynamic geometry software may be challenging because of the high amount of heavy symbolic computations being performed continuously. This paper reports on reaching 30 frames per second (FPS) in the desktop application GeoGebra for non-trivial examples for immediate use in classrooms—also 13 FPS is reached in a modern web browser.}, owner = {kovzol}, timestamp = {2017.03.24}, } @Misc{mint17, author = {Zolt\'an Kov\'acs}, title = {Automated Reasoning Tools in GeoGebra}, year = {2017}, howpublished = {Presentation at Linz STEM Education Conference, Linz, Austria}, month = {1}, url = {http://mintlinz.pbworks.com/f/Kovacs-20160113.pdf}, abstract = {Computing numerical checks of certain relations between objects in a planar construction is a well known feature of dynamic geometry systems. GeoGebra's newest improvements now offer symbolic checks of equality, parallelism, perpendicularity, collinearity, concurrency or concyclicity. Also dragging of locus curves, defined explicitly or implicitly, is a new feature to visually check a conjecture in Euclidean plane geometry. These novel possibilities can be introduced also in classrooms to support dynamic geometry experiments and help formulating theorems.}, owner = {kovzol}, timestamp = {2017.01.13}, } @Article{vmt, author = {Zolt\'an Kov\'acs}, title = {Is the midpoint quadrilateral really a parallelogram?}, journal = {Virginia Mathematics Teacher Journal}, year = {2017}, volume = {43}, number = {2}, pages = {15-17}, url = {https://www.researchgate.net/publication/315076680_Is_the_midpoint_quadrilateral_really_a_parallelogram}, owner = {kovzol}, timestamp = {2017.03.24}, } @Article{Epszilon, author = {Zolt\'an Kov\'acs}, title = {Az epszilon-delta j\'at\'ek \'es a sakk}, journal = {Polygon}, year = {2016}, volume = {XXIV}, number = {1}, month = {10}, pages = {53-58}, issn = {1215-3044}, url = {https://www.researchgate.net/publication/320267300_Az_epszilon-delta_jatek_es_a_sakk}, owner = {kovzol}, timestamp = {2016.11.10}, } @Booklet{gbt-gh, Title = {gbt (Gr\"obner basis tests)}, Author = {Kov\'acs, Zolt\'an}, HowPublished = {A GitHub project}, Month = {11}, Note = {\url{https://github.com/kovzol/gbt}}, Year = {2016}, Commit = {04e4f7c5e9d196df9b77138b67ab4dc05ba7824f}, Journal = {GitHub repository}, Publisher = {GitHub} } @Misc{ImplicitLoci-ICME2016, Title = {Variations on implicit loci in a triangle}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at {ICME}-13, Hamburg, Germany}, Month = {7}, Note = {\url{https://www.geogebra.org/m/gH3b2Vwa}}, Year = {2016}, Owner = {kovzol}, Timestamp = {2016.11.15} } @Misc{OrtslinienGleichung-eD2016, Title = {Implizite Ortslinien in GeoGebra}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at e-{D}idaktik {F}achtagung, the Private University College of the Diocese of {L}inz}, Month = {11}, Note = {\url{https://www.geogebra.org/m/afpvF72v}}, Year = {2016}, Owner = {kovzol}, Timestamp = {2016.11.10} } @InProceedings{RT-ACA2016, Title = {Real-time animated dynamic geometry in the classrooms by using fast {G}r\"obner basis computations}, Author = {Zolt\'an Kov\'acs}, Booktitle = {22nd Conference on Applications of Computer Algebra, Book of Abstracts}, Year = {2016}, Month = {8}, Note = {\url{http://www.mathematik.uni-kassel.de/ACA2016/docs/ACAproc.pdf}} } @Misc{RT-ACA2016-pres, Title = {Real-time animated dynamic geometry in the classrooms by using fast {G}r\"obner basis computations}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at ACA-22, Kassel, Germany}, Month = {8}, Note = {\url{https://www.researchgate.net/publication/305916265_RT_animated_DG_in_the_classrooms_by_using_fast_GB}}, Year = {2016}, Owner = {kovzol}, Timestamp = {2016.11.19} } @Misc{Vermutungen-2016, Title = {{Vermutungen und Beweise mit dem Beziehung-Werkzeug}}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at {MathemaTech} {Seminar}, Johannes Kepler University, Linz, Austria}, Month = {3}, Note = {\url{https://www.geogebra.org/m/BzE26Q4R}}, Year = {2016}, Abstract = {Untersuchung und Prüfung der Beziehungen unter den geometrischen Objekten in der Elementargeometrie sind wichtige Schritte im Lernprozess der Verallgemeinerungsfähigkeit. Das Beziehung-Werkzeug in GeoGebra 5 unterstützt dieses Ziel mit einem extra Schritt: GeoGebra kann entscheiden, ob eine Beziehung nur in konkreten Situationen wahr ist, oder auch im Allgemeinen. Das Computerprogramm versteckt die schwieriegen analytischen Berechnungen, um dem Schüler nur eine solche Antwort darüber "einzuflüstern", ob seine Vermutung im Allgemeinen wahr ist, oder nicht. Wenn noch einige (meistens selbstverständliche) Bedingungen nötig wären, werden diese dem Nutzer durch GeoGebra auch gezeigt. (Eine solche Bedingung kann z.B. sein, dass das untersuchte Dreieck nicht entartet sein soll.)}, Language = {German}, Organization = {Johannes Kepler University}, Owner = {kovzol}, Timestamp = {2016.11.09} } @Misc{AusHun2015, Title = {Obtaining conjectures by using the Relation Tool in GeoGebra}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at the Joint Austrian-Hungarian Mathematical Conference, Gy\H{o}r, Hungary}, Month = {8}, Note = {\url{https://www.researchgate.net/publication/289521751_Obtaining_conjectures_by_using_the_Relation_Tool_in_GeoGebra}}, Year = {2015}, Owner = {kovzol}, Timestamp = {2016.11.09} } @Misc{BeziehungWerkzeug-eD2015, Title = {Das neue {Beziehung-Werkzeug} in {GeoGebra} 5}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at e-{D}idaktik {F}achtagung, the Private University College of the Diocese of {L}inz}, Month = {10}, Note = {\url{https://www.researchgate.net/publication/295920163_Das_neue_Beziehung-Werkzeug_in_GeoGebra_5}, \url{https://www.geogebra.org/m/ZWvfA5jA}}, Year = {2015}, Owner = {kovzol}, Timestamp = {2016.11.10} } @Misc{BolyaiInt2015, Title = {Elimin\'aci\'os t\'amogat\'as a {GeoGebra} {Kapcsolat} eszk\"oz\'ehez}, Author = {Kov\'acs, Zolt\'an}, HowPublished = {Presentation, {B}olyai {I}nstitute, {S}zeged, Hungary}, Month = {9}, Note = {\url{https://www.researchgate.net/publication/289521798_Eliminacios_tamogatas_a_GeoGebra_Kapcsolat_eszkozehez}}, Year = {2015}, Abstract = {Több számítógépes dinamikus geometriai rendszer (DGS) is nyújt támogatást ahhoz, hogy (főként euklideszi) geometriai szerkesztések objektumai között kapcsolatokat olvassunk le. Ilyenek lehetnek pl. a párhuzamosság, a merőlegesség vagy az egybevágóság. A GeoGebra 5.0-s változatának Kapcsolat eszköze a korábban is létező numerikus ellenőrzésen kívül már szimbolikus módon is képes ezen összefüggések leolvasására, valamint olyan szintetikus feltételrendszer megfogalmazására, amellyel precíz geometriai tétel mondható ki. A háttérszámítások a legjobb nyílt forrású megoldásokon (Singular, Giac) alapulnak, melyek Gröbner bázisok segítségével képesek a függő változókat hatékonyan eliminálni. Az algebrai kimeneteket a GeoGebra végül olyan elegendő feltételekké alakítja, amelyekkel a vizsgált tulajdonság fennállása középiskolások számára is olvasható formájú geometriai tételként jeleníthető meg.}, Owner = {kovzol}, Timestamp = {2016.11.09} } @Misc{Stick-MatheMatech2015, Title = {{GeoGebra} {P}r\"ufungsumgebungen}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at {M}athema{T}ech {S}eminar, {J}ohannes {K}epler {U}niversity, {L}inz, {A}ustria}, Month = {11}, Note = {\url{https://www.geogebra.org/m/ERN2jBS2}}, Year = {2015}, Owner = {kovzol}, Timestamp = {2016.11.10} } @Article{Zzzooommm, Title = {Zzzooommm!}, Author = {Zolt\'an Kov\'acs}, Journal = {Research Gate}, Year = {2015}, Month = {12}, Note = {\url{https://www.researchgate.net/publication/287208905_Zzzooommm}}, Abstract = {Careful use of modern technology can open new horizons in understanding mathematical ideas. This can be especially fruitful in teaching through visualization. Real time zooming offers immediate study of infinitesimals in mathematical analysis. This article sums up some selected didactical methods on using real time zooming in teaching introductory calculus at university level (B.Sc.), and for other uses in grammar school. First we investigate a tangent slope of some scholastic examples of real functions. Our examples will be generalized towards simple fractals and complex functions. Finally we will emphasize didactical arguments.}, Owner = {kovzol}, Timestamp = {2016.11.09} } @Misc{Sturmfels-counterex, author = {Kov\'acs, Zolt\'an}, title = {Sturmfels' Counterexample}, year = {2014}, howpublished = {GeoGebraTube}, note = {\url{https://www.geogebra.org/m/SNFDFkae}}, journal = {GeoGebraTube}, } @Booklet{sws2, Title = {Singular {W}eb{S}ervice, {V}irtual{B}ox {I}{S}{O} image (version 2)}, Author = {Zolt\'an Kov\'acs}, Month = Jan, oNote = {\url{http://prover-test.geogebra.org/~kovzol/VMs/SingularWS-20140104.zip}}, Year = {2014}, Owner = {kovzol}, Timestamp = {2016.11.09} } @Misc{Elemi-Bolyai, author = {Zolt\'an Kov\'acs}, title = {Elemi geometriai t\'etelek sz\'am\'{\i}t\'og\'eppel nyert elegend{\H{o}} felt\'etelei}, year = {2013}, howpublished = {Presentation in Bolyai Institute, Szeged, Hungary}, month = {8}, ourl = {https://www.researchgate.net/publication/377666530_Elemi_geometriai_tetelek_szamitogeppel_nyert_elegendo_feltetelei_a_GeoGebraban}, owner = {kovzol}, timestamp = {2016.11.11}, doi = {10.13140/RG.2.2.15943.27041} } @oBooklet{gbt, Title = {Testing {G}r\"obner basis implementations (online version)}, Author = {Zolt\'an Kov\'acs}, Month = sep, oNote = {\url{http://vms.geogebra.org:8081}}, Year = {2013} } @Booklet{gbt-tgz, Title = {Testing {G}r\"obner basis implementations (computer software)}, Author = {Zolt\'an Kov\'acs}, Month = sep, Note = {\url{https://github.com/kovzol/gbt}}, Year = {2013} } @Misc{ggw-cas, author = {Zolt\'an Kov\'acs}, title = {{G}eo{G}ebra{W}eb offers {C}{A}{S} functionality}, year = {2012}, howpublished = {{G}eo{G}ebra blog entry}, note = {\url{http://blog.geogebra.org/2012/05/geogebraweb-cas/}}, month = may, } @Misc{LocusEqu-SanJose2012, Title = {Locus equations and theorem proving in {GeoGebra}}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at {S}an {J}ose {GeoGebra} Afternoon, San Jose State University, USA}, Month = {10}, Year = {2012}, Owner = {kovzol}, Timestamp = {2016.11.10} } @Booklet{sws, Title = {Singular {W}eb{S}ervice, {V}irtual{B}ox {I}{S}{O} image}, Author = {Zolt\'an Kov\'acs}, Month = jul, oNote = {\url{http://test.geogebra.org/~kovzol/VMs/SingularWS-20120711.zip}}, Year = {2012} } @Manual{sws-geogebra, Title = {Singular {W}eb{S}ervice in {G}eo{G}ebra}, Author = {Zolt\'an Kov\'acs}, Month = sep, oNote = {\url{http://dev.geogebra.org/trac/wiki/SingularWS}}, Year = {2012} } @Manual{sws-readme, Title = {Singular {W}eb{S}ervice documentation and source code}, Author = {Zolt\'an Kov\'acs}, Month = oct, Note = {\url{https://github.com/kovzol/singularws}}, Year = {2012} } @Manual{TheoremProvingPlanning, Title = {Preliminary planning for implementing theorem proving in {G}eo{G}ebra, {G}eo{G}ebra {T}rac {W}iki}, Author = {Zolt\'an Kov\'acs}, Month = mar, oNote = {\url{http://dev.geogebra.org/trac/wiki/TheoremProvingPlanning}}, Year = {2012} } @Misc{UnifyingCodebase, Title = {Notes on unifying codebase for {GeoGebra} 4.2}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at 2nd International GeoGebra Conference, Developers Day, Austria, Linz/Hagenberg, RISC/FH}, Month = {9}, Year = {2011}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{WhatsNewGG, Title = {What's new in {GeoGebra}?}, Author = {Zolt\'an Kov\'acs}, HowPublished = {GeoGebra conference of South-East Europe, Serbia, University of Novi Sad}, Month = {1}, Year = {2011}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{WMI2-IJMEST, author = {Zolt\'an Kov\'acs}, title = {{WMI2}, the student's on-line symbolic calculator}, doi = {10.1080/0020739X.2010.550940}, number = {4}, pages = {469-479}, url = {https://www.researchgate.net/publication/233100412_WMI2_the_student%27s_on-line_symbolic_calculator}, volume = {42}, abstract = {Student activities focused on discovering mathematics play an important role in the teaching and learning process. WebMathematics Interactive (WMI2) was developed to offer a fast and user-friendly on-line web interface to enhance the quality of both theoretical and applied mathematics courses. For the teacher, in the classroom, it provides immediate numerical computations, algebraic manipulations and graphical representations. For our students, WMI2 provides a unique classroom experience in their own Hungarian language that generates various mathematical representations. At home our students have a support system to help them explore mathematical concepts, test their mathematical knowledge and to assist them in their problem solving. WMI2 has been under continuous development since 2002 and has been in classroom use since 2007. It is freely available in 10 languages.}, journal = {International Journal of Mathematical Education in Science and Technology}, year = {2011}, } @Misc{Complex-CADGME2010, Title = {An excursion to the visual world of complex functions and dynamics}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at CADGME-3, Hlubok\'a nad Vltavou, Czech Republic}, Month = {6}, Year = {2010}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Fraktalok-OKF2010, Title = {Frakt\'alok h\'azilag}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at {\H{O}szi} {K}ultur\'alis {F}esztiv\'al, Szeged, Hungary}, Month = {10}, Year = {2010}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{GG-tovabbkepzes, Title = {GeoGebra}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at Szegedi Kist\'ers\'eg T\"obbc\'el\'u T\'arsul\'asa K\"ozoktat\'asi Int\'ezm\'enye TOV\'ABBK\'EPZ\'ESI NAP (Siettetett gyerekek)}, Month = {10}, Year = {2010}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{GG-workshop, Title = {GeoGebra kez{d\H{o}} workshop}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Workshop at Varga Tam\'as Napok, Budapest, ELTE}, Month = {11}, Year = {2010}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{rtzme-0.7.4, Title = {Real-time Zooming Math Engine 0.7.4}, Author = {Zolt\'an Kov\'acs}, Year = {2010}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{WMI2classroom, Title = {WMI2 -- the symbolic calculator for the classroom}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Training for mathematics teachers, University of Novi Sad, Serbia}, Month = {8}, Year = {2010}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{WMI2symcalc-CADGME2010, Title = {WMI2 -- the symbolic calculator for the today's student}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at CADGME-3, Hlubok\'a nad Vltavou, Czech Republic}, Month = {6}, Year = {2010}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{GGtanf, Title = {GeoGebra tanfolyam - tan\'artov\'abbk\'epz\'es szegedi matematika tan\'aroknak}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Workshop in Bolyai Institute, Szeged, Hungary}, Month = {3}, Year = {2009}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Merre, Title = {Merre tart a vil\'ag a matematikai szoftverek haszn\'alat\'aban?}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at Software Freedom Day, Szeged}, Month = {10}, Year = {2009}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{WMI2-CADGME2009, Title = {WebMathematics Interactive 2: A graphical user interface to computer algebra systems for students}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at CADGME-2, Linz/Hagenberg, Austria}, Month = {7}, Year = {2009}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Kutatok, Title = {A frakt\'alok vil\'aga. Interakt\'{\i}v matematikai el{\H{o}}ad\'as: Hihetetlen geometriai alakzatok k\'esz\'i{\i}t\'ese sz\'am\'{\i}t\'og\'epes tervez\'essel}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at Kutat\'ok \'ejszak\'aja}, Month = {9}, Year = {2008}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Zzzooommm-HMTM2008, Title = {Zzzooommm!}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at HMTM, T\^argu Mure\c{s}, Romania}, Month = {6}, Year = {2008}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Sarkanygorbe, Title = {A s\'ark\'anyg\"orbe}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at K\"oMaL Ifj\'us\'agi Ank\'et}, Month = {11}, Year = {2007}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{SeVeled, Title = {Se veled, se n\'elk\"uled -- sz\'am\'{\i}t\'og\'ep \'es matematika}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at SZTE \"oregdi\'ak tal\'alkoz\'o}, Month = {5}, Year = {2007}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{WMI2-CADGME1, Title = {WebMathematics Interactive 2}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at CADGME-1, P\'ecs, Hungary}, Month = {6}, Year = {2007}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{wmi2-tmcs, author = {Zolt\'an Kov\'acs}, title = {{WMI2}: Interactive mathematics on the web}, journal = {Teaching Mathematics and Computer Science}, year = {2007}, volume = {5}, number = {2}, pages = {393-405}, doi = {10.5485/TMCS.2007.0175}, url = {https://www.researchgate.net/publication/277669861_WMI2_Interactive_mathematics_on_the_web}, abstract = {After 5 years of experiments and feedback we decided to continue the software development on WebMathematics Interactive, a web-based e-learning tool, rewriting it from scratch. The demonstration version of WebMathematics Interactive 2 (WMI2) has been shown to the expert audience on the CADGME conference. In this article we summarize the development goals and results.}, owner = {kovzol}, timestamp = {2016.11.09}, } @Misc{WMI2-workshop, Title = {WebMathematics Interactive 2 (workshop)}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Workshop at CADGME-1, P\'ecs, Hungary}, Month = {6}, Year = {2007}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Dephyma, Title = {Bevezet\'es a frakt\'alok vil\'ag\'aba}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at Dephyma, Karinthy Ferenc Gimn\'azium, Budapest}, Month = {3}, Year = {2006}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Fraktalok-OKF2006, Title = {A frakt\'alok vil\'aga}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at {\H{O}szi} {K}ultur\'alis {F}esztiv\'al, Szeged, Hungary}, Month = {10}, Year = {2006}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Tao-yuan, Title = {A web based mathematical workstation for students}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at Chang-Gung University, Tao-yuan, Taiwan}, Month = {7}, Year = {2006}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{VCDS-Vienna, Title = {Visualizing Complex Dynamical Systems}, Author = {Zolt\'an Kov\'acs}, HowPublished = {CEEPUS summer school lectures at Technical University of Vienna, Austria}, Month = {7}, Year = {2006}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{WMI-Taiwan, Title = {WebMathematics Interactive}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Mathematical meeting and annual meeting of the mathematical society, National Taiwan Normal University, Taipei, Taiwan}, Month = {12}, Year = {2006}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{GNU-tanulas, Title = {\"On\'all\'o tanul\'as lehet{\H{o}}s\'egei GNU alap\'u rendszerekben}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at FSF Roadshow, Szeged, Hungary}, Month = {3}, Year = {2004}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Orom, Title = {Szabad szoftverfejleszt\'es: \"or\"om vagy \"ur\"om?}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at Szabad szoftver vil\'agnap, Szeged, Hungary}, Month = {9}, Year = {2004}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Sherlock, Title = {Sherlock Holmes \'es a Linux}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at Szabad szoftver vil\'agnap, Szeged, Hungary}, Month = {9}, Year = {2005}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{Fraktal-Sagvari, Title = {A frakt\'alokr\'ol}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation in the S\'agv\'ari Endre Gyakorl\'o \'Altal\'anos Iskola, Szeged, Hungary}, Month = {3}, Year = {2003}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{gettext-lv, Title = {Programhonos\'{\i}t\'as a gettext csomaggal}, Author = {Kov\'acs, Zolt\'an}, Journal = {Linuxvil\'ag}, Year = {2003}, Month = {9}, Note = {\url{http://linuxvilag.pbk.hu/content/files/cikk/32/cikk_32_60_63.pdf}}, Pages = {60-63}, Volume = {32}, Owner = {kovzol}, Timestamp = {2016.11.10} } @Article{MatLinux-lv, Title = {Matematikai programok Linux alatt}, Author = {Kov\'acs, Zolt\'an}, Journal = {Linuxvil\'ag}, Year = {2003}, Month = {4}, Note = {\url{http://linuxvilag.pbk.hu/content/files/cikk/27/cikk_27_72_75.pdf}}, Pages = {72-75}, Volume = {27}, Owner = {kovzol}, Timestamp = {2016.11.10} } @Misc{XaoS-vizualizacios, Title = {Komplex dinamikus rendszerek vizualiz\'aci\'oja a XaoS {frakt\'alk\'esz\'{\i}t\H{o}} programmal}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at Matematikai \'es Vizualiz\'aci\'os Programcsomagok Alkalmaz\'oinak Bar\'ati T\'arsas\'aga}, Month = {11}, Year = {2003}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{Fraktalok, Title = {A frakt\'alok vil\'aga}, Author = {Kov\'acs, Zolt\'an}, Journal = {Matematika tan\'ari kincsest\'ar}, Year = {2002}, Month = {5}, Owner = {kovzol}, Timestamp = {2016.11.10} } @Article{Linux1-lv, Title = {Linux a tanteremben {I}}, Author = {Kov\'acs, Zolt\'an}, Journal = {Linuxvil\'ag}, Year = {2002}, Month = {8}, Note = {\url{http://linuxvilag.pbk.hu/content/files/cikk/19/cikk_19_16_18.pdf}}, Pages = {16-18}, Volume = {19}, Owner = {kovzol}, Timestamp = {2016.11.10} } @Article{Linux2-lv, Title = {Linux a tanteremben {II}}, Author = {Kov\'acs, Zolt\'an}, Journal = {Linuxvil\'ag}, Year = {2002}, Month = {9}, Note = {\url{http://linuxvilag.pbk.hu/content/files/cikk/20/cikk_20_10_12.pdf}}, Pages = {10-12}, Volume = {20}, Owner = {kovzol}, Timestamp = {2016.11.10} } @Article{Linux3-lv, Title = {Linux a tanteremben {III}}, Author = {Kov\'acs, Zolt\'an}, Journal = {Linuxvil\'ag}, Year = {2002}, Month = {10}, Note = {\url{http://linuxvilag.pbk.hu/content/files/cikk/21/cikk_21_10_12.pdf}}, Pages = {10-12}, Volume = {21}, Owner = {kovzol}, Timestamp = {2016.11.10} } @MastersThesis{mastersthesis, author = {Kov\'acs, Zolt\'an}, title = {V\'eletlen sorozatok, diszkr\'et dinamikus rendszerek, k\'aosz}, year = {1999}, month = {7}, url = {https://www.researchgate.net/publication/288975397_Veletlen_sorozatok_diszkret_dinamikus_rendszerek_kaosz}, address = {Szeged, Hungary}, owner = {kovzol}, school = {J\'ozsef Attila University}, timestamp = {2016.11.10}, } @Misc{Fizika1998, Title = {Frakt\'alok -- avagy a k\'et \'es feledik dimenzi\'o}, Author = {Zolt\'an Kov\'acs}, HowPublished = {Presentation at Fizikai el\H{o}ad\'assorozat k\"oz\'episkol\'asoknak, Magyar Fizikus Hallgat\'ok Egyes\"ulete, J\'ozsef Attila University, Szeged, Hungary}, Month = {3}, Year = {1998}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{rtzme-0.7.3, Title = {Real-time Zooming Math Engine 0.7.3}, Author = {Zolt\'an Kov\'acs and \'Arp\'ad Fekete}, Year = {2008}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{WMI-2.1.6, Title = {WebMathematics Interactive 2.1.6}, Author = {Zolt\'an Kov\'acs and \'Arp\'ad Fekete and Natalia Budinski}, Note = {\url{https://sourceforge.net/projects/wmi/}}, Year = {2010}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{Brute10-tmcs, author = {Zolt\'an Kov\'acs and Istv\'an Hudi}, title = {Brute force on 10 letters}, journal = {Teaching Mathematics and Computer Science}, year = {2007}, volume = {5}, number = {1}, pages = {183-193}, note = {MATHDI 2007e.00420}, url = {https://www.researchgate.net/publication/277475230_Brute_force_on_10_letters}, owner = {kovzol}, timestamp = {2016.11.10}, } @Misc{Nehezen, Title = {Nehezen szeml\'eltethet{\H{o}} vil\'agok vizualiz\'aci\'oja CAS seg\'{\i}ts\'eg\'evel}, Author = {Zolt\'an Kov\'acs and Zolt\'an {Kov\'acs (Ny\'{\i}regyh\'aza)}}, HowPublished = {Presentation at Hajt\'asv\'alogat\'asi Konferencia, P\'ecs, Szeged}, Month = {5}, Year = {2004}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{Xaos-3.5, Title = {XaoS 3.5}, Author = {Zolt\'an Kov\'acs and J. B. Langston and Lucio Henrique de Araujo and Zelia Maria Horta Garcia and Mateusz Malczak}, Year = {2009}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{Xaos-3.6, Title = {XaoS 3.6}, Author = {Zolt\'an Kov\'acs and J. B. Langston and \'Arp\'ad Fekete and Petr Gajdos}, Year = {2013}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{Xaos-3.3, Title = {XaoS 3.3}, Author = {Zolt\'an Kov\'acs and J. B. Langston and Mateusz Malczak and Andrew Stone and Ilinca Sitaru and M\'arton T\"or\"ok and Claudio Fontana and Philippe Wautelet and \'Arp\'ad Fekete}, Year = {2008}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{Xaos-3.4, Title = {XaoS 3.4}, Author = {Zolt\'an Kov\'acs and J. B. Langston and Sergio Zanchetta and Andreas Madritsch}, Year = {2008}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{Pascal, author = {Zolt\'an Kov\'acs and M\'at\'e P\'ek}, title = {A {F}ermat-{P}ascal-{C}arcavy levelez\'es}, journal = {Polygon}, year = {2011}, volume = {XIX}, number = {2}, pages = {1-26}, url = {https://www.researchgate.net/publication/277475075_A_Fermat-Pascal-Carcavy_levelezes}, } @InCollection{GiacGG-RICAM2013, author = {Kov\'acs, Zolt\'an and Parisse, Bernard}, title = {Giac and {G}eo{G}ebra -- Improved {G}r\"obner Basis Computations}, booktitle = {Computer Algebra and Polynomials}, year = {2015}, editor = {Gutierrez, Jaime and Schicho, Josef and Weimann, Martin}, language = {English}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, address = {Cham}, isbn = {978-3-319-15080-2}, pages = {126-138}, doi = {10.1007/978-3-319-15081-9\_7}, keywords = {Gr\"obner basis; Computer algebra; Computer aided mathematics education}, } @Misc{GiacGG-RICAM2013-pres, Title = {Giac and {G}eo{G}ebra --- improved {G}r\"obner basis computations}, Author = {Kov\'acs, Zolt\'an and Parisse, Bernard}, HowPublished = {Presentation at {S}pecial semester on Applications of Algebra and Number Theory, Workshop 3 on Computer Algebra and Polynomials}, Month = {11}, Note = {\url{https://www.ricam.oeaw.ac.at/specsem/specsem2013/workshop3/slides/parisse-kovacs.pdf}}, Year = {2013} } @Booklet{WMI-2.1.5, Title = {WebMathematics Interactive 2.1.5}, Author = {Zolt\'an Kov\'acs and M\'arton R\'ozsa and Korn\'el Csernai and Orsolya Wetterh\'an and Sergio Zanchetta and T\'{\i}mea Hotor\'an and \'Eva Szeredi and N\'arcisz Kulcs\'ar and Zolt\'an Matos}, Note = {\url{https://sourceforge.net/projects/wmi/}}, Year = {2009}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{gg-art-doc-gh, Title = {gg-art-doc ({G}eo{G}ebra {A}utomated {R}easoning {T}ools. {A} Tutorial)}, Author = {Kov\'acs, Zolt\'an and Tom\'as Recio and M.~Pilar V\'elez}, HowPublished = {A GitHub project}, Month = {4}, Note = {\url{https://github.com/kovzol/gg-art-doc}}, Year = {2017}, Journal = {GitHub repository}, Publisher = {GitHub} } @InCollection{recio-eaca-paper, author = {Zolt\'an Kov\'acs and Tom\'as Recio and Simon Weitzhofer}, title = {Implementing theorem proving in {G}eo{G}ebra by using exact check of a statement in a bounded number of test cases}, booktitle = {Proceedings EACA 2012, Libro de Res\'umenes del XIII Encuentro de \'Algebra Computacional y Aplicaciones}, year = {2012}, publisher = {Universidad de Alcal\'a}, pages = {123--126}, url = {https://www.researchgate.net/publication/265059624_Implementing_Theorem_Proving_in_GeoGebra_by_Exact_Check_of_a_Statement_in_a_Bounded_Number_of_Test_Cases}, } @Conference{PH-forscht2, Title = {Unterst\"utzung des {M}athematikunterrichts mit automatischem {B}eweisen mit {GeoGebra}}, Author = {Zolt\'an Kov\'acs and Katharina Schiffler}, Booktitle = {PH forscht II}, Year = {2017}, Address = {Linz, Austria}, Month = {4}, Url = {https://www.researchgate.net/publication/316463880_Unterstutzung_des_Mathematikunterrichts_mit_automatischem_Beweisen_mit_GeoGebra} } @Booklet{WMI-1.0.2, Title = {WebMathematics Interactive 1.0.2}, Author = {Zolt\'an Kov\'acs and R\'obert Vajda}, Year = {2006}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{WMI-2.1, Title = {WebMathematics Interactive 2.1}, Author = {Zolt\'an Kov\'acs and R\'obert Vajda and Korn\'el Csernai and G\'abor Bakos and Korn\'el Csernai and \'Arp\'ad Fekete}, Note = {\url{https://sourceforge.net/projects/wmi/}}, Year = {2007}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Booklet{rtzme-0.7.1, Title = {Real-time Zooming Math Engine 0.7.1}, Author = {Zolt\'an Kov\'acs and Csaba Varr\'o and R\'obert Bar\'ak}, Year = {2006}, Owner = {kovzol}, Timestamp = {2016.11.11} } @InProceedings{Portfolio-ADG2016, Title = {Portfolio Methods in Theorem Proving for Elementary Geometry}, Author = {Vesna Marinkovi\'c and Mladen Nikoli\'c and Zolt\'an Kov\'acs and Predrag Jani\v{c}i\'c}, Booktitle = {{Proceedings of ADG 2016}}, Year = {2016}, Address = {Strasbourg, France}, Editor = {Julien Narboux and Pascal Schreck and Elena Streinu}, Month = Jun, Pages = {152-161}, Abstract = {Portfolio problem solving is an approach in which for an individual instance of a specific problem, one particular solver or one particular solving technique is selected among several available ones and used. This approach has given many successes in recent years, in many areas, including automated theorem proving, especially in SAT solving. We report on our first attempts at using the portfolio approach in proving geometry theorems. There are several challenges in this, including: domains of the popular geometry provers are not the same (some provers support some constructs and some not), there is no standard format for storing geometry theorems, available geometry provers are implemented in different programming languages, etc. However, the biggest challenge is defining a set of relevant features that characterize a specific theorem and that should serve for choosing an appropriate prover. Our first preliminary experiments are promising and we believe there is a big room for further progress in this direction.}, File = {ADG2016-Proceedings%20.pdf:https\://hal.inria.fr/hal-01334334/file/ADG2016-Proceedings%20.pdf:PDF}, Hal_id = {hal-01334334}, Hal_version = {v1}, Url = {https://hal.inria.fr/hal-01334334} } @Misc{Portfolio-ADG2016-pres, Title = {Portfolio Methods in Theorem Proving for Elementary Geometry}, Author = {Vesna Marinkovi\'c and Mladen Nikoli\'c and Zolt\'an Kov\'acs and Predrag Jani\v{c}i\'c}, HowPublished = {Presentation at ADG-11, Strasbourg, France}, Month = {6}, Year = {2016}, Abstract = {Portfolio problem solving is an approach in which for an individual instance of a specific problem, one particular solver or one particular solving technique is selected among several available ones and used. This approach has given many successes in recent years, in many areas, including automated theorem proving, especially in SAT solving. We report on our first attempts at using the portfolio approach in proving geometry theorems. There are several challenges in this, including: domains of the popular geometry provers are not the same (some provers support some constructs and some not), there is no standard format for storing geometry theorems, available geometry provers are implemented in different programming languages, etc. However, the biggest challenge is defining a set of relevant features that characterize a specific theorem and that should serve for choosing an appropriate prover. Our first preliminary experiments are promising and we believe there is a big room for further progress in this direction.}, Owner = {kovzol}, Timestamp = {2016.11.19} } @Misc{OGP-CADGME2012, Title = {Extending GeoGebra with Automated Theorem Proving by using OpenGeoProver}, Author = {Ivan Petrovi\'c and Zolt\'an Kov\'acs and Simon Weitzhofer and Markus Hohenwarter and Predrag Jani\v{c}i\'c}, HowPublished = {Presentation at CADGME-4, Novi Sad, Serbia}, Month = {6}, Note = {\url{https://www.researchgate.net/publication/309843321_Extending_GeoGebra_with_Automated_Theorem_Proving_by_using_OpenGeoProver}}, Year = {2012}, Owner = {kovzol}, Timestamp = {2016.11.10} } @Misc{SpecialLoci-CADGME2012, Title = {Special loci}, Author = {Lajos Szilassi and Zolt\'an Kov\'acs}, HowPublished = {Presentation at CADGME-4, Novi Sad, Serbia}, Month = {6}, Year = {2012}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{WMI-Akademia, Title = {Matematikai t\'avoktat\'as: ma \'es holnap. {B}esz\'amol\'o a {WMI} projektr{\H{o}}l}, Author = {R\'obert Vajda and Zolt\'an Kov\'acs}, HowPublished = {Presentation at Szegedi Akad\'emiai Bizotts\'ag, Szeged, Hungary}, Month = {4}, Year = {2004}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{WMI-Bolyai-summary, Title = {Matematikai t\'avoktat\'as: ma \'es holnap. {B}esz\'amol\'o a {WMI} projektr{\H{o}}l}, Author = {R\'obert Vajda and Zolt\'an Kov\'acs}, HowPublished = {Presentation in Bolyai Institute, Szeged, Hungary}, Month = {1}, Year = {2004}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Article{WMI1-tmcs, author = {R\'obert Vajda and Zolt\'an Kov\'acs}, title = {Interactive Web Portals in Mathematics}, journal = {Teaching Mathematics and Computer Science}, year = {2003}, volume = {1}, number = {2}, pages = {347-361}, note = {MATHDI 2004e.04334}, url = {https://www.researchgate.net/publication/277475176_Interactive_Web_Portals_in_Mathematics}, owner = {kovzol}, timestamp = {2016.11.10}, } @Misc{WMI-cseresznye, Title = {WebMathematics Interactive (WMI) -- univerz\'alis matematikai webfel\"ulet}, Author = {R\'obert Vajda and Zolt\'an Kov\'acs}, HowPublished = {Presentation at Cseresznye\'er\'esi konferencia, P\'ecs, Hungary}, Month = {6}, Year = {2003}, Owner = {kovzol}, Timestamp = {2016.11.11} } @Misc{WMI1-Bolyai, Title = {Technol\'ogiai forradalom a XXI. sz\'azadban: A matematikaoktat\'as \'uj paradigm\'aja}, Author = {R\'obert Vajda and Zolt\'an Kov\'acs}, HowPublished = {Presentation in the Bolyai Institute, Szeged, Hungary}, Month = {11}, Year = {2002}, Owner = {kovzol}, Timestamp = {2016.11.11} } @InProceedings{CGTA2017, author = {Kov{\'a}cs, Zolt{\'a}n and Recio, Tom{\'a}s and M.~Pilar V\'elez}, title = {Reasoning about linkages with dynamic geometry}, booktitle = {Conference on Geometry: Theory and Applications, Book of Abstracts}, year = {2017}, editor = {L\'avi\v{c}ka, Miroslav}, publisher = {Vydavatelsk\'y servis}, month = Jun, isbn = {978-80-86843-56-8}, pages = {41--42}, address = {Plze\v{n}}, } @Misc{NotLine, author = {Kov{\'a}cs, Zolt{\'a}n and Kov\'acs, Benedek}, title = {No, This is not a Line!}, year = {2017}, date = {May 18, 2017}, howpublished = {Presentation at Linz STEM Education Conference, Linz, Austria}, month = {5}, ourl = {https://www.researchgate.net/publication/377666549_No_This_is_not_a_Line}, timestamp = {2016.11.15}, doi = {10.13140/RG.2.2.27267.89122} } @Misc{CGTA2017-talk, author = {Kov{\'a}cs, Zolt{\'a}n and Recio, Tom{\'a}s and M.~Pilar V\'elez}, title = {Reasoning about linkages with dynamic geometry}, year = {2017}, date = {2017-06-28}, howpublished = {Presentation at CGTA-2017, Plze\v{n}, Czech Republic}, month = Jun, ourl = {https://www.researchgate.net/publication/317973095_Reasoning_about_linkages_with_dynamic_geometry}, doi = {10.13140/RG.2.2.13132.41605} } @Article{Erinto2017, author = {Zolt\'an Kov\'acs}, title = {Donald Ervin Knuth}, journal = {\'Erint\H{o}}, year = {2017}, number = {4}, month = {6}, url = {http://www.ematlap.hu/index.php/gazda-g-sag-2017-06/489-donald-ervin-knuth}, } @Misc{ACA2017, author = {Zolt\'an Kov\'acs}, title = {Achievements and challenges in automatic locus and envelope animations in dynamic geometry environments}, year = {2017}, date = {July 18, 2017}, howpublished = {Presentation at ACA-23, Jerusalem, Israel}, month = {6}, ourl = {https://www.researchgate.net/publication/318572751_Achievements_and_challenges_in_automatic_locus_and_envelope_animations_in_dynamic_geometry_environments}, timestamp = {2016.11.19}, doi = {10.13140/RG.2.2.33733.96480} } @Misc{Lyon, author = {Kov{\'a}cs, Zolt{\'a}n and Recio, Tom\'as and Richard, Philippe and V\'elez, M.~Pilar}, title = {{G}eo{G}ebra automated reasoning tools. A tutorial with examples (and a little more)}, year = {2017}, date = {July 5, 2017}, howpublished = {Presentation at ICTMT-13, Lyon, France}, month = {7}, url = {https://www.researchgate.net/publication/318467629_GeoGebra_automated_reasoning_tools_A_tutorial_with_examples_and_a_little_more}, timestamp = {2016.11.15}, } @Misc{GGG-ART, author = {Recio, Tom\'as and Kov{\'a}cs, Zolt{\'a}n and V\'elez, M.~Pilar}, title = {Automated Reasoning Tools in GeoGebra}, year = {2017}, date = {July 19, 2017}, howpublished = {Presentation at GeoGebra Global Gathering 2017, Linz, Austria}, month = {7}, url = {https://ggbm.at/McEqwQNb}, timestamp = {2016.11.15}, } @Misc{GGG-linkages, author = {Recio, Tom\'as and Kov{\'a}cs, Zolt{\'a}n and V\'elez, M.~Pilar}, title = {Reasoning on linkages}, year = {2017}, date = {July 19, 2017}, howpublished = {Presentation at GeoGebra Global Gathering 2017, Linz, Austria}, month = {7}, url = {https://ggbm.at/sDCTVGrg}, timestamp = {2016.11.15}, } @InProceedings{ACA2017-BoA, author = {Kov{\'a}cs, Zolt{\'a}n}, title = {Achievements and challenges in automatic locus and envelope animations in dynamic geometry environments}, booktitle = {ACA 2017, 23rd Conference on Applications of Computer Algebra, Jerusalem, July 17–21, 2017, Book of Abstracts}, year = {2017}, editor = {Thierry Dana-Picard and Ilias Kotsireas and Aharon Naiman}, month = Jul, pages = {205}, url = {http://homedir.jct.ac.il/~naiman/aca2017/abstracts.pdf}, address = {Jerusalem, Israel}, } @Article{ACA2016-foreword, author = {Dana-Picard, Thierry and Koepf, Wolfram and Kotsireas, Ilias and Kov{\'a}cs, Zolt{\'a}n and Prokopenya, Alexander and Seiler, Werner}, title = {Foreword}, journal = {Mathematics in Computer Science}, year = {2017}, month = {Jul}, issn = {1661-8289}, doi = {10.1007/s11786-017-0324-2}, day = {28}, } @Misc{SPCGG2017-pres, author = {Zolt\'an Kov\'acs}, title = {Automated Reasoning Tools for Euclidean Planar Geometry in GeoGebra}, year = {2017}, howpublished = {Presentation at Scientific-Professional Colloquium on Geometry and Graphics, Fu\v{z}ine, Croatia}, month = {9}, url = {https://www.researchgate.net/publication/319592399_Automated_Reasoning_Tools_for_Euclidean_Planar_Geometry_in_GeoGebra}, owner = {kovzol}, timestamp = {2017.10.07}, } @InProceedings{SPCGG2017, author = {Kov{\'a}cs, Zolt{\'a}n}, title = {Automated Reasoning Tools for Euclidean Planar Geometry in {G}eo{G}ebra}, booktitle = {20th Scientific-Professional Colloquium on Geometry and Graphics Fu\v{z}ine, September 3--7, 2017, Abstracts}, year = {2017}, editor = {Do\v{s}li\'c, Tomislav and Jurkin, Ema}, publisher = {Croatian Society for Geometry and Graphics}, month = 9, pages = {3--4}, url = {http://www.hdgg.hr/fuzine/abstracts.pdf}, } @Article{Euler-arXiv, author = {Zolt{\'{a}}n Kov{\'{a}}cs and R\'obert Vajda and Aaron Montag}, title = {A note about {E}uler's inequality and automated reasoning with dynamic geometry}, journal = {CoRR}, year = {2017}, volume = {abs/1708.02993v3}, month = {10}, url = {http://arxiv.org/abs/1708.02993v3}, } @Misc{upvm2017, author = {Zolt\'an Kov\'acs}, title = {Automated Reasoning Tools in GeoGebra}, year = {2017}, howpublished = {Presentation at The Use of Computers in Mathematics Education Conference, \v{C}esk\'e Bud\v{e}jovice, Czech Republic}, month = {11}, ourl = {https://www.researchgate.net/publication/321013153_Automated_Reasoning_Tools_in_GeoGebra}, abstract = {Computing numerical checks of certain relations between geometric objects in a planar construction is a well known feature of dynamic geometry systems. GeoGebra's newest improvements offer symbolic checks of equality, parallelism, perpendicularity, collinearity, concurrency or concyclicity. Also dragging of locus curves, defined explicitly or implicitly (or as an envelope curve) is a new feature in GeoGebra to visually check conjectures in planar geometry. By combining plotting and proving we can focus on some new possibilities to teach Euclidean geometry in the classrooms.}, owner = {kovzol}, doi = {10.13140/RG.2.2.12426.98248}, timestamp = {2017.11.13}, } @Misc{upvm2017w, author = {Zolt\'an Kov\'acs}, title = {Automated Reasoning Tools in GeoGebra}, year = {2017}, howpublished = {Workshop at The Use of Computers in Mathematics Education Conference, \v{C}esk\'e Bud\v{e}jovice, Czech Republic}, month = {11}, url = {https://www.geogebra.org/m/WDMMPR5c}, owner = {kovzol}, timestamp = {2017.11.13}, } @InProceedings{lyon-proceedings, author = {Zolt\'an Kov\'acs and Tom\'as Recio and Philippe R. Richard and M. Pilar V\'elez}, title = {{G}eo{G}ebra Automated Reasoning Tools: A Tutorial with Examples}, booktitle = {Proceedings of the 13th International Conference on Technology in Mathematics Teaching}, year = {2017}, editor = {Aldon, G. and Trgalova, J.}, url = {https://hal.archives-ouvertes.fr/hal-01632970}, } @Misc{Hart-online, author = {Kov\'acs, Zolt\'an}, title = {Hart's inversor}, year = {2017}, date = {2017-12-01}, howpublished = {GeoGebra Materials}, note = {\url{https://www.geogebra.org/m/VzvHr3nU}}, url = {https://www.geogebra.org/m/VzvHr3nU}, journal = {GeoGebra Materials}, } @Article{lego, author = {Zolt{\'{a}}n Kov{\'{a}}cs and Benedek Kov{\'{a}}cs}, title = {A compilation of {LEGO} {Technic} parts to support learning experiments on linkages}, journal = {CoRR}, year = {2017}, date = {2017-12-12}, volume = {abs/1712.00440v2}, url = {https://arxiv.org/pdf/1712.00440v2}, } @Booklet{realgeom, author = {Vajda, R\'obert and Kov\'acs, Zolt\'an}, title = {realgeom, a tool to solve problems in real geometry}, year = {2018}, howpublished = {A GitHub project}, note = {\url{https://github.com/kovzol/realgeom}}, journal = {GitHub repository}, month = {1}, publisher = {GitHub}, } @Misc{LEGO-steam, author = {Kov{\'a}cs, Zolt{\'a}n and Kov\'acs, Benedek}, title = {A compilation of {LEGO} {Technic} parts to support learning experiments on linkages}, year = {2018}, date = {January 18, 2018}, howpublished = {Presentation at Linz STEAM Education Conference, Linz, Austria}, month = {1}, url = {https://www.researchgate.net/publication/322635585_A_compilation_of_LEGO_Technic_parts_to_support_learning_experiments_on_linkages}, abstract = {We present a compilation of LEGO Technic parts to provide easy-to-build constructions of basic planar linkages in order to understand their mathematical background. To solve questions on fine details—like deciding whether the motion is an exactly straight line or not—we refer to the dynamic mathematics software tool GeoGebra.}, timestamp = {2016.11.15}, } @Article{sbml, author = {Zolt\'an Kov\'acs}, title = {Automated reasoning tools in {G}eo{G}ebra: A new approach for experiments in planar geometry}, journal = {South Bohemia Mathematical Letters}, year = {2017}, volume = {25}, number = {1}, pages = {48--65}, issn = {2336-2081}, url = {http://home.pf.jcu.cz/~sbml/wp-content/uploads/Kovacs.pdf}, } @Article{toc-arXiv, author = {Zolt{\'{a}}n Kov{\'{a}}cs and Tom\'as Recio and M.~Pilar V\'elez}, title = {Detecting truth, just on parts}, journal = {CoRR}, year = {2018}, volume = {abs/1802.05875}, url = {https://arxiv.org/abs/1802.05875}, abstract = {We investigate and generalize to an extended framework the notion of 'true on components' introduced by Zhou, Wang and Sun in their paper "Automated Reducible Geometric Theorem Proving and Discovery by Gr\"obner Basis Method", J. Automat. Reasoning 59 (3), 331-344, 2017. A new, simple criterion is presented for a statement to be simultaneously not generally true and not generally false (i.e. true on components), and its performance is exemplified through the implementation of this test in the dynamic geometry program GeoGebra.}, } @Incollection{cibem2017, author = {Zolt\'an Kov\'acs and Tom\'as Recio and M.~Pilar V\'elez}, title = {Dise\~no de experiancias de aula usando razonamiento autom\'atico con GeoGebra}, booktitle = {VIII Congreso Ibroamericano de educaci\'on matem\'atica. Libro de actas}, year = {2017}, publisher = {Federaci\'{o}n Espa\~nola de Sociedades de Profesores de Matem\'{a}ticas}, isbn = {978-84-945722-3-4}, pages = {449-457} } @Booklet{RegularNGons, author = {Kov\'acs, Zolt\'an}, title = {{R}egular{N}{G}ons}, year = {2018}, howpublished = {A GitHub project}, note = {\url{https://github.com/kovzol/RegularNGons}}, journal = {GitHub repository}, month = {4}, publisher = {GitHub}, } @Booklet{ag, author = {Botana, Francisco and Kov\'acs, Zolt\'an and Recio, Tom\'as}, title = {Automated {G}eometer}, year = {2018}, howpublished = {A GitHub project}, note = {\url{https://github.com/kovzol/ag}}, journal = {GitHub repository}, month = {1}, publisher = {GitHub}, } @Article{vmt2, author = {Zolt\'an Kov\'acs}, title = {Motion with {LEGO}s and Dynamic Geometry}, journal = {Virginia Mathematics Teacher Journal}, year = {2018}, volume = {44}, number = {2}, pages = {43-48}, url = {https://www.researchgate.net/publication/325253538_Motion_with_LEGOs_and_Dynamic_Geometry}, } @Misc{irp2018, author = {Zolt\'an Kov\'acs}, title = {Modeling computational geometry with GeoGebra}, year = {2018}, date = {2018-05-02}, subtitle = {Intensive Research Program in Discrete, Combinatorial and Computational Geometry: Hands-on course on Geometric Software}, location = {CRM, Bellaterra, Spain}, url = {https://tinyurl.com/irp2018-gg}, } @Misc{pi-star12gon, author = {Kov\'acs, Zolt\'an}, title = {Constructing $\pi$ from a regular star-12-gon}, year = {2018}, date = {2018-05-24}, howpublished = {GeoGebra}, note = {\url{https://www.geogebra.org/m/jnZSeBnq}}, url = {https://www.geogebra.org/m/jnZSeBnq}, urldate = {2018-05-24}, } @Misc{pi-12gon, author = {Kov\'acs, Zolt\'an}, title = {Constructing $\pi$ from a regular 12-gon}, year = {2018}, date = {2018-06-04}, howpublished = {GeoGebra}, note = {\url{https://www.geogebra.org/m/qFvtny2G}}, url = {https://www.geogebra.org/m/qFvtny2G}, urldate = {2018-06-04}, } @Article{MEP2018, author = {Kov{\'a}cs, Zolt\'an and Recio, Tom\'as and S{\'o}lyom-Gecse, Csilla}, title = {Rewriting input expressions in complex algebraic geometry provers}, journal = {Annals of Mathematics and Artificial Intelligence}, year = {2019}, volume = {85}, issue = {2--4}, month = {apr}, pages = {73-87}, issn = {1573-7470}, doi = {10.1007/s10472-018-9590-1}, abstract = {We present an algorithm to help converting expressions having non-negative quantities (like distances) in Euclidean geometry theorems to be usable in a complex algebraic geometry prover. The algorithm helps in refining the output of an existing prover, therefore it supports immediate deployment in high level prover systems. We prove that the algorithm may take doubly exponential time to produce the output in polynomial form, but in many cases it is still computable and useful.}, day = {04}, } @Article{ZAGUAN-2018, author = {Zolt\'an Kov\'acs and Tom\'as Recio and M. Pilar V\'elez}, title = {Enunciados ni ciertos ni falsos en razonamiento autom\'atico en geometr\'{\i}a}, journal = {Monograf\'{\i}as de la Real Academia de Ciencias. Zaragoza}, year = {2018}, volume = {43}, pages = {111-114}, issn = {1132-6360}, url = {https://eventos.unizar.es/_files/_event/_15634/_editorFiles/file/Speakers/Velez.pdf}, } @Misc{ICoSTEAME2018, author = {Zolt\'an Kov\'acs}, title = {Physical and virtual linkages}, year = {2018}, date = {July 6, 2018}, howpublished = {Presentation at International Conference on STEAM Education, Jerusalem, Israel}, month = {7}, url = {https://www.youtube.com/watch?v=6suH5OKmtw8}, timestamp = {2016.11.19}, } @InProceedings{aca2018, author = {Zolt\'an Kov\'acs and Tom\'as Recio and M.~Pilar V\'elez}, title = {Detecting truth, just on parts, in automated reasoning in geometry}, booktitle = {24th Conference on Applications of Computer Algebra - ACA 2018: Proceedings, Applications of Computer Algebra, Santiago de Compostela, Spain, June 18-22, 2018}, year = {2018}, date = {2018-07-09}, editor = {Francisco Botana and Felipe Gago and Manuel Ladra Gonz\'alez}, organization = {Universidad de Santiago de Compostela}, publisher = {Servicio de Publicaciones}, location = {Spain}, isbn = {978-84-16954-87-2}, pages = {32-36}, doi = {10.15304/9788416954872}, url = {http://www.usc.es/libros/index.php/spic/catalog/book/1151}, } @Article{ijtme2018, author = {Zolt{\'{a}}n Kov{\'{a}}cs and Tom\'as Recio and M.~Pilar V\'elez}, title = {Using Automated Reasoning Tools in {GeoGebra} in the Teaching and Learning of Proving in Geometry}, journal = {International Journal of Technology in Mathematics Education}, year = {2018}, date = {2018-06-07}, volume = {25}, number = {2}, pages = {33-50}, issn = {2045-2519}, doi = {10.1564/tme_v25.2.03}, } @InProceedings{TowardsDiscovery-ICMS2016, author = {Ab{\'a}nades, Miguel and Botana, Francisco and Kov{\'a}cs, Zolt{\'a}n and Recio, Tom{\'a}s and S{\'o}lyom-Gecse, Csilla}, title = {Towards the Automatic Discovery of Theorems in {G}eo{G}ebra}, booktitle = {Mathematical Software -- ICMS 2016. 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings}, year = {2016}, editor = {Greuel, Gert-Martin and Koch, Thorsten and Paule, Peter and Sommese, Andrew}, volume = {9725}, series = {Lecture Notes in Computer Science}, publisher = {Springer International Publishing}, month = Jul, isbn = {978-3-319-42431-6 (Print) 978-3-319-42432-3 (Online)}, pages = {37--42}, doi = {10.1007/978-3-319-42432-3_5}, abstract = {Considerable attention and efforts have been given to the implementation of automatic reasoning tools in interactive geometric environments. Nevertheless, the main goal in such works focused on theorem proving, cf. Java Geometry Expert or GeoGebra. A related issue, automatic discovery, remains almost unexplored in the field of dynamic geometry software. This extended abstract sketches our initial results towards the incorporation into GeoGebra, a worldwide spread software with tenths of millions of users, of automatic discovery abilities. As a first result, currently available in the official version, we report on a new command allowing the automatic discovery of loci of points in diagrams. Besides the standard mover-tracer locus finding, the approach also deals with loci constrained by implicit conditions. Hence, our proposal successfully automates a kind of bound dragging in dynamic geometry, the ‘dummy locus dragging’. In this way, the cycle of conjecturing-checking-proving will be accessible for general learners in elementary geometry}, address = {Cham}, } @InProceedings{LNAI11006-isoptics, author = {Thierry Dana-Picard and Zolt\'an Kov\'acs}, title = {Automated determination of isoptics with dynamic geometry}, booktitle = {Intelligent Computer Mathematics}, year = {2018}, editor = {F. Rabe and W. Farmer and G. Passmore and A. Youssef}, eventtitleaddon = {Conference on Intelligent Computer Mathematics}, venue = {Hagenberg im M\"uhlkreis, Austria}, volume = {11006}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer International Publishing}, month = Jul, isbn = {978-3-319-96812-4}, chapter = {6}, pages = {1-16}, doi = {10.1007/978-3-319-96812-4\_6}, } @Article{pi-arXiv, author = {Zolt{\'{a}}n Kov{\'{a}}cs}, title = {Another (wrong) construction of $\pi$}, journal = {CoRR}, year = {2018}, volume = {abs/1806.02218}, url = {https://arxiv.org/abs/1806.02218}, abstract = {A simple way is shown to construct the length $\pi$ from the unit length with 4 digits accuracy.}, } @InProceedings{LNAI11110-regularngons, author = {Zolt\'an Kov\'acs}, title = {Discovering geometry theorems in regular polygons}, booktitle = {Artificial Intelligence and Symbolic Computation}, year = {2018}, editor = {Fleuriot, Jacques and Wang, Dongming and Calmet, Jacques}, eventtitleaddon = {13th International Conference, AISC 2018, September 16--19, 2018, Proceedings}, venue = {Suzhou, China}, volume = {11110}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer International Publishing}, month = Aug, isbn = {978-3-319-99956-2}, chapter = {10}, pages = {155-169}, doi = {10.1007/978-3-319-99956-2_10}, } @InProceedings{LNAI11110-ag, author = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio}, title = {Towards an Automated Geometer}, booktitle = {Artificial Intelligence and Symbolic Computation}, year = {2018}, editor = {Fleuriot, Jacques and Wang, Dongming and Calmet, Jacques}, eventtitleaddon = {13th International Conference, AISC 2018, September 16--19, 2018, Proceedings}, venue = {Suzhou, China}, volume = {11110}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer International Publishing}, month = Aug, isbn = {978-3-319-99956-2}, chapter = {15}, pages = {215-220}, doi = {10.1007/978-3-319-99956-2-15}, } @Misc{cicm2018-pres-regularngons, author = {Zolt\'an Kov\'acs}, title = {Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools}, year = {2018}, date = {16 August 2018}, howpublished = {Presentation at the Conference on Intelligent Computer Mathematics, Hagenberg, Austria}, month = {8}, url = {https://www.researchgate.net/publication/327043509_Finding_and_proving_new_geometry_theorems_in_regular_polygons_with_dynamic_geometry_and_automated_reasoning_tools}, timestamp = {2018.08.24}, } @Misc{cicm2018-pres-isoptics, author = {Thierry Dana-Picard and Zolt\'an Kov\'acs}, title = {Automated determination of isoptics with dynamic geometry}, year = {2018}, date = {15 August 2018}, howpublished = {Presentation at the Conference on Intelligent Computer Mathematics, Hagenberg, Austria}, month = {8}, url = {https://www.researchgate.net/publication/327023414_Automated_determination_of_isoptics_with_dynamic_geometry}, timestamp = {2018.08.24}, } @Misc{cicm2018-pres-cmeei, author = {Zolt\'an Kov\'acs}, title = {Advantages and dangers on utilizing GeoGebra Automated Reasoning Tools}, year = {2018}, date = {17 August 2018}, howpublished = {Presentation at the Conference on Intelligent Computer Mathematics, Hagenberg, Austria}, month = {8}, url = {https://www.researchgate.net/publication/327061697_Advantages_and_dangers_on_utilizing_GeoGebra_Automated_Reasoning_Tools}, timestamp = {2018.08.24}, } @inproceedings{cicm2018-cmei, author = {Zolt\'an Kov\'acs}, title = {Advantages and dangers on utilizing {G}eo{G}ebra {A}utomated {R}easoning {T}ools}, year = {2018}, date = {17 August 2018}, month = {8}, url = {http://ceur-ws.org/Vol-2307/paper4.pdf}, booktitle = {Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018}, editor = {Osman Hasan and Abdou Youssef and Adam Naumowicz and William Farmer and Cezary Kaliszyk and Diane Gallois-Wong and Florian Rabe and Gabriel Dos Reis and Grant Passmore and James Davenport and Markus Pfeiffer and Michael Kohlhase and Serge Autexier and Sofiene Tahar and Thomas Koprucki and Umair Siddique and Walther Neuper and Wolfgang Windsteiger and Wolfgang Schreiner and Wolfram Sperber and Zolt\'an Kov\'acs}, venue = {Hagenberg, Austria}, series = {CEUR Workshop Proceedings}, volume = {2307}, publisher = {RWTH Aachen, Germany}, issn = {1613-0073} } @Unpublished{pi2, author = {Zolt\'an Kov\'acs}, title = {Approximating $\pi$ by lengths appearing in regular polygons}, year = {2018}, date = {2018-09-01}, note = {preprint}, url = {https://www.researchgate.net/publication/327221611_Approximating_p_by_lengths_appearing_in_regular_polygons}, } @Article{amai-portfolio, author = {Mladen Nikoli\'c and Vesna Marinkovi\'c and Zolt\'an Kov\'acs and Predrag Jani\v{c}i\'c}, title = {Portfolio theorem proving and prover runtime prediction for geometry}, journal = {Annals of Mathematics and Artificial Intelligence}, year = {2018}, date = {2018-09-06}, pages = {1-28}, issn = {1573-7470}, doi = {10.1007/s10472-018-9598-6}, } @Article{rmc-top, author = {Zolt\'an Kov\'acs and Tom\'as Recio and M.~Pilar V\'elez}, title = {Detecting truth, just on parts}, journal = {Revista Matem\'atica Complutense}, year = {2019}, date = {2018-10-17}, volume = {32}, pages = {451-474}, issn = {1988-2807}, doi = {10.1007/s13163-018-0286-1}, abstract = {We introduce, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true over some relevant collections of instances and false over some relevant collections of instances. A rigorous, algorithmic criterion is presented for detecting such cases, and its performance is exemplified through the implementation of this test within the dynamic geometry program GeoGebra. Our framework has some significant differences regarding some alternative, recent formulation of the “true on components” idea; differences and similarities between both approaches are discussed here.}, } @Misc{aisc-ag, author = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio}, title = {Towards an Automated Geometer}, year = {2018}, date = {2018-09-18}, howpublished = {Presentation at AISC-13, Suzhou, China}, month = {9}, doi = {10.13140/RG.2.2.36788.71042}, ourl = {https://www.researchgate.net/publication/327729038_Towards_an_Automated_Geometer}, abstract = {We report on preliminary work towards the automated finding of theorems in elementary geometry. The resulting system is being currently implemented on top of GeoGebra, a dynamic geometry system with millions of users at high schools and universities. Our system exploits GeoGebra's recently added new functionalities concerning automated reasoning tools in geometry. We emphasize that the method for finding geometric properties that are present on a user-provided construction is purely symbolic, thus giving such properties rigorous mathematical certainty. We describe some generalities about the system we are developing, which are illustrated through an example.}, } @Misc{aisc-rng, author = {Zolt\'an Kov\'acs}, title = {Discovering geometry theorems in regular polygons}, year = {2018}, date = {2018-09-18}, howpublished = {Presentation at AISC-13, Suzhou, China}, month = {9}, doi = {10.13140/RG.2.2.16813.33768}, ourl = {https://www.researchgate.net/publication/327728859_Discovering_geometry_theorems_in_regular_polygons}, abstract = {By using a systematic, automated way, we discover a large amount of geometry statements on regular polygons. Given a regular n-gon, its diagonals are taken, two pairs of them determine a pair of intersection points that define a segment. By considering all possible segments defined in this way, we compute the lengths of them symbolically, and we classify the segment either as "interesting" or "not interesting". For instance, we prove that in a regular 11-gon with unit sides the only rational lengths appearing the way described above, are 1 and 2, and the only quadratic surd is square root of 3. The applied way of proving is exhaustion, by using the freely available software tool RegularNGons, programmed by the author. The combinatorial explosion, however, calls for future improvements involving methods in artificial intelligence. We use an algebraic geometry approach (Wu, 1984) combined with a discovery algorithm (Recio and Vélez, 1999), extended with a formula by Watkins and Zeitlin (1993). The heavy computations are performed by the Giac CAS in a web browser, compiled as a WebAssembly module. Visual communication is operated by GeoGebra.}, } @Misc{adg-rng, author = {Zolt\'an Kov\'acs}, title = {Mining geometry theorems in a regular polygon}, year = {2018}, date = {2018-09-13}, howpublished = {Presentation at ADG-12, Nanning, China}, month = {9}, doi = {10.13140/RG.2.2.14759.60329}, ourl = {https://www.researchgate.net/publication/327645373_Mining_geometry_theorems_in_a_regular_polygon}, abstract = {By using a systematic, automated way, we discover a large amount of geometry statements on regular polygons. Given a regular n-gon, its diagonals are taken, two pairs of them determine a pair of intersection points that define a segment. By considering all possible segments defined in this way, we compute the lengths of them symbolically, and we classify the segment either as "interesting" or "not interesting". Among others, for example, we prove that in a regular 11-gon with unit sides the only rational lengths appearing the way described above, are 1 and 2, and the only quadratic surd is square root of 3. The applied way of proving is exhaustion, by using the freely available software tool RegularNGons, programmed by the author. We use an algebraic geometry approach (Wu, 1984) combined with a discovery algorithm (Recio and Vélez, 1999). The heavy computations are performed by the Giac CAS in a web browser, compiled as a WebAssembly module. Visual communication is operated by GeoGebra, which has also been extended with the capability of proving theorems on regular polygons.}, } @Misc{adg-ag, author = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio}, title = {Automated {G}eometer, a web-based discovery tool}, year = {2018}, date = {2018-09-12}, howpublished = {Presentation at ADG-12, Nanning, China}, month = {9}, doi = {10.13140/RG.2.2.19792.76807}, ourl = {https://www.researchgate.net/publication/327645379_Automated_Geometer_a_web-based_discovery_tool}, abstract = {We report on preliminary work towards the automated finding of theorems in elementary geometry. The resulting system is being currently implemented on top of GeoGebra, a dynamic geometry system with millions of users at high schools and universities. Our system exploits GeoGebra's recently added new functionalities concerning automated reasoning tools in geometry. We emphasize that the method for finding geometric properties that are present on a user-provided construction is purely symbolic, thus giving such properties rigorous mathematical certainty. We describe some generalities about the system we are developing, which are illustrated through an example. The goal of this communication is to report on-going work by the authors towards the automated and systematic finding of properties on a given geometric construction. Our Automated Geometer is being implemented on top of GeoGebra, of a dynamic geometry system with millions of users at high schools and universities. It exploits \textit{GeoGebra} recently added functionalities regarding automated reasoning tools, providing rigorous, symbolic-driven, proofs of geometric facts. We illustrate and describe some basic facts about the system we are developing.}, } @Article{mcs2020, author = {Zolt\'an Kov\'acs}, title = {Automated Detection of Interesting Properties in Regular Polygons}, journal = {Mathematics in Computer Science}, year = {2020}, date = {2020-06-25}, volume = {14}, pages = {727-755}, issn = {1661-8289}, doi = {10.1007/s11786-020-00491-z}, owner = {kovzol}, timestamp = {2018.12.15.}, } @Article{ph, author = {Beatrix Hauer and Zolt{\'{a}}n Kov{\'{a}}cs and Tom\'as Recio and M.~Pilar V\'elez}, title = {Automated reasoning in elementary geometry: towards inquiry learning}, journal = {Pedagogical Horizons}, year = {2018}, volume = {2}, number = {2}, pages = {1-13}, issn = {2523-5656}, abstract = {We claim that the inquiry-based learning approach to geometry can be improved by considering a recently implemented algorithm for the automatic conjecturing and proving of elementary geometry statements. The new method we describe relies on some Automated Reasoning Tools commands, now available in the dynamic geometry software GeoGebra, that provide with mathematically rigorous answers to any query posed by a user about the truth or falsity of any geometric statement and that, if the conjectured statement is wrong, present further hypotheses that should be considered for the proposition to become true. We argue, by providing examples of mathematical investigations that may be better approached by the students by using our method during the exploration process, how these tools may be helpful for supporting inquiry-based learning at various education levels. Some of the potential implications of our proposal (such as providing to automated reasoning programs, for the first time, the possibility of a real impact in education, or the possibility of automatizing the development of automated mentors, etc.) are briefly stated. It is yet on-going work to develop a systematic approach to confirm the benefits of the proposed method.}, } @Article{JSC-linkages, author = {Zolt\'an Kov\'acs and Tom\'as Recio and M. Pilar V\'elez}, title = {Reasoning about linkages with dynamic geometry}, journal = {Journal of Symbolic Computation}, year = {2020}, volume = {97}, pages = {16-30}, doi = {10.1016/j.jsc.2018.12.003}, } @Article{JSC-foreword, author = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio}, title = {Special issue on dynamic geometry and automated reasoning. Foreword}, journal = {Journal of Symbolic Computation}, year = {2020}, date = {2020-03-01}, volume = {97}, pages = {1-2}, doi = {10.1016/j.jsc.2018.12.001}, } @InProceedings{aplimat-inv, author = {Zolt\'an Kov\'acs}, title = {Teaching inversion interactively with webcams via {{CindyJS}}}, booktitle = {18th conference on applied mathematics. Aplimat 2019 Proceedings}, year = {2019}, date = {2019-02-05}, publisher = {Slovak University of Technology}, location = {Bratislava}, isbn = {978-80-227-4884-1}, pages = {691-699}, } @InProceedings{aplimat-hg, author = {Lajos Szilassi and Zolt\'an Kov\'acs}, title = {Dynamic visualization of hyperbolic geometry in the Poincar\'e disk model}, booktitle = {18th conference on applied mathematics. Aplimat 2019 Proceedings}, year = {2019}, date = {2019-02-05}, publisher = {Slovak University of Technology}, location = {Bratislava}, isbn = {978-80-227-4884-1}, pages = {1142-1154}, } @Misc{aplimat-inv-p, author = {Kov{\'a}cs, Zolt{\'a}n}, title = {Teaching inversion interactively with webcams via {{CindyJS}}}, year = {2019}, date = {2019-02-06}, howpublished = {Presentation at Aplimat Conference, Bratislava, Slovakia}, month = {1}, url = {https://www.researchgate.net/publication/330856795_Teaching_inversion_interactively_with_webcams_via_CindyJS}, owner = {kovzol}, timestamp = {2019-02-14}, } @Misc{ucmlego, author = {Zolt\'an Kov\'acs}, title = {Ense\~nando geometr\'{\i}a y \'algebra a trav\'es de mecanismos y {LEGO}}, year = {2019}, date = {2019-02-21}, language = {Spanish}, howpublished = {Presentation at STEM Seminar, UCM, Madrid, Spain}, month = {1}, url = {https://www.researchgate.net/publication/331261905_Ensenando_geometria_y_algebra_a_traves_de_mecanismos_y_LEGO}, owner = {kovzol}, timestamp = {2019-02-14}, } @Misc{aplimat-hg-p, author = {Lajos Szilassi and Zolt\'an Kov\'acs}, title = {Dynamic visualization of hyperbolic geometry in the Poincar\'e disk model}, year = {2019}, date = {2019-02-06}, howpublished = {Presentation at Aplimat Conference, Bratislava, Slovakia}, month = {1}, url = {https://www.researchgate.net/publication/330856863_Dynamic_Visualization_of_Hyperbolic_Geometry_in_the_Poincare_Disk_Model}, owner = {kovzol}, timestamp = {2019-02-14}, } @Misc{jkulego, author = {Zolt\'an Kov\'acs}, title = {Teaching algebra and geometry with {LEGO} and linkages}, year = {2019}, date = {2019-04-02}, howpublished = {Presentation at STEAM Seminar, JKU, Linz, Austria}, month = {1}, url = {https://www.researchgate.net/publication/332303931_Teaching_algebra_and_geometry_with_LEGO_and_linkages}, owner = {kovzol}, timestamp = {2019-02-14}, } @Article{numeros, author = {Markus Hohenwarter and Zolt\'an Kov\'acs and Tom\'as Recio}, title = {Determinando propiedades geom\'etricas simb\'olicamente con {G}eo{G}ebra}, journal = {N\'umeros. Revista de Did\'actica de las Matem\'atica}, year = {2019}, date = {2019-05-06}, volume = {100}, pages = {79-84}, issn = {1887-1984}, url = {http://www.sinewton.org/numeros/numeros/100/Articulos_15.pdf}, } @Misc{matematech, author = {Kov{\'a}cs, Zolt{\'a}n}, title = {Towards a new {GeoGebra} {Geometry} {App}}, year = {2019}, date = {2019-07-01}, howpublished = {Presentation at MatemaTech Seminar for teachers, \v{C}esk\'e Bud\v{e}jovice, Czechia}, month = {7}, doi = {10.13140/RG.2.2.25544.98568}, ourl = {https://www.researchgate.net/publication/334163099_Towards_a_new_GeoGebra_Geometry_App}, } @InProceedings{MACAS2019, author = {Zolt\'an Kov\'acs and Barbara Lichtenegger and Tom\'as Recio and Philippe R. Richard and M. Pilar V\'elez}, title = {Exploring artwork through Delaunay triangulations}, booktitle = {Proceedings of the 2019 MACAS (Mathematics and its Connections to the Arts and Sciences) Symposium}, year = {2020}, editor = {Annie Savard and Rebecca Pearce}, venue = {Montreal, Quebec}, publisher = {McGill University}, month = {9}, url = {https://mcgill.ca/macas2019/proceedings }, } @Booklet{gh-lego-linkages, author = {Kov\'acs, Zolt\'an}, title = {lego-linkages}, year = {2019}, howpublished = {A GitHub project}, note = {\url{https://github.com/kovzol/lego-linkages}}, journal = {GitHub repository}, month = {6}, publisher = {GitHub}, } @Booklet{gh-buchberger-singular, author = {Kov\'acs, Zolt\'an}, title = {buchberger-singular}, year = {2019}, howpublished = {A GitHub project}, note = {\url{https://github.com/kovzol/buchberger-singular}}, journal = {GitHub repository}, month = {6}, publisher = {GitHub}, } @Booklet{gh-isoptics, author = {Thierry Dana-Picard and Kov\'acs, Zolt\'an}, title = {isoptics}, year = {2019}, howpublished = {A GitHub project}, note = {\url{https://github.com/kovzol/isoptics}}, journal = {GitHub repository}, month = {6}, publisher = {GitHub}, } @Misc{thedu2019, author = {Nuno Baeta and Pedro Quaresma and Kov{\'a}cs, Zolt{\'a}n}, title = {Towards a Geometry Automated Provers Competition}, year = {2019}, date = {2019-08-25}, howpublished = {Presentation at ThEdu Conference, Natal, Brazil}, month = {8}, url = {https://www.researchgate.net/publication/335749042_Towards_a_Geometry_Automated_Provers_Competition}, } @Article{kovacs2019teaching11, author = {Zolt\'an Kov\'acs}, title = {Teaching algebraic curves for gifted learners at age 11 by using LEGO linkages and GeoGebra}, journal = {CoRR}, year = {2019}, volume = {abs/1909.04964}, url = {https://arxiv.org/abs/1909.04964}, archiveprefix = {arXiv}, primaryclass = {math.HO}, } @Incollection{Hohenwarter2019, author = {Hohenwarter, Markus and Kov{\'a}cs, Zolt{\'a}n and Recio, Tom{\'a}s}, title = {Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures}, booktitle = {Proof Technology in Mathematics Research and Teaching}, year = {2019}, editor = {Hanna, Gila and Reid, David A. and de Villiers, Michael}, publisher = {Springer International Publishing}, isbn = {978-3-030-28483-1}, pages = {215--236}, doi = {10.1007/978-3-030-28483-1_10}, abstract = {GeoGebra, a very popular software tool for dynamic mathematicsMathematics, has recently been extended with an automated reasoning tool (ART). A description of the ART features and some examples and reflectionsReflection regarding its prospective use in the classroom are the main goals of this chapter. ART is based on automatically algebraizing a given geometric constructionGeometrygeometric construction and then applying effective algebraic geometryAlgebraic Geometry tools. This robust approach has already been implemented in several programs but never, until now, with the ability to merge features of dynamic geometryDynamic geometry and computer algebraComputer algebra, address non-experts, and achieve worldwide dissemination in the educational community. GeoGebra's automatic reasoning tools allow, through the Relation commandGeoGebrarelation command, the automatic finding of geometric conjecturesGeometric reasoningconjecture and the verificationVerification or denial of these conjecturesConjecture. Moreover, if the conjecture fails, GeoGebra might suggest (by means of the LocusEquation command) some extra hypotheses, in order to turn true, if suitably modified, the given statement. We argue and exemplify how these tools can be considered potentially useful in a technology-mediated educational framework, where GeoGebra could play the role of a mentorLearning and teaching of geometrymentor, helping students both to foster their creativity with the discovery of new geometric facts and to develop their own explanationsExplanation on the truth of these facts. We conclude with some reflectionsReflection on the challenges that could arise from the popularization of this new technology in mathematicsMathematics education.}, address = {Cham}, } @Incollection{AugmentedRealityinEducationalSettings-HKR, author = {Botana, Francisco and Kov\'acs, Zolt\'an and Mart\'{\i}nez-Sevilla, Alvaro and Recio, Tom\'as}, title = {Automatically Augmented Reality with GeoGebra}, booktitle = {Augmented Reality in Educational Settings}, year = {2020}, editor = {Theodosia Prodromou}, publisher = {Brill | Sense}, isbn = {978-90-04-40884-5}, pages = {347-368}, doi = {10.1163/9789004408845_015}, url = {https://brill.com/view/title/55719}, address = {Leiden, The Netherlands}, } @Booklet{discover-rg, author = {Kov\'acs, Zolt\'an}, title = {GeoGebra 5.0.540.0 with discovery and real geometry extensions}, year = {2019}, howpublished = {A release of a GitHub project}, note = {\url{https://github.com/kovzol/geogebra/releases/tag/v5.0.540.0-20190930}}, journal = {GitHub repository}, month = {09}, publisher = {GitHub}, } @Misc{wolfram-brazil, author = {Celina A. A. P. Abar and Zolt\'an Kov\'acs and Tom\'as Recio and R\'obert Vajda}, title = {Conectando {M}athematica e {G}eo{G}ebra para explorar constru\c{c}\~oes geom\'etricas planas}, year = {2019}, date = {2019-11-23}, howpublished = {Presentation at Wolfram Technology Conference, Sa\~o Paulo, Brazil}, month = {11}, url = {https://www.researchgate.net/publication/337499551_Conectando_Mathematica_e_GeoGebra_para_explorar_construcoes_geometricas_planas}, owner = {kovzol}, timestamp = {2019-11-27}, } @Booklet{gh-groebner-solitaire, author = {Kov\'acs, Zolt\'an}, title = {groebner-solitaire}, year = {2019}, howpublished = {A GitHub project}, note = {\url{https://github.com/kovzol/groebner-solitaire}}, journal = {GitHub repository}, month = {9}, publisher = {GitHub}, } @Booklet{discover-rg2, author = {Kov\'acs, Zolt\'an}, title = {GeoGebra 5.0.560.0 with discovery and real geometry extensions}, year = {2019}, howpublished = {A release of a GitHub project}, note = {\url{https://github.com/kovzol/geogebra/releases/tag/v5.0.560.0-20191108}}, journal = {GitHub repository}, month = {11}, publisher = {GitHub}, } @Booklet{discover-rg3, author = {Kov\'acs, Zolt\'an}, title = {GeoGebra 5.0.560.0 with discovery and real geometry extensions (including linearization) for Raspberry Pi 3/4}, year = {2019}, howpublished = {A release of a GitHub project}, note = {\url{https://github.com/kovzol/geogebra/releases/tag/v5.0.560.0-20191108-rpi34}}, journal = {GitHub repository}, month = {11}, publisher = {GitHub}, } @Booklet{discover-rg4, author = {Kov\'acs, Zolt\'an}, title = {GeoGebra 5.0.560.0 with discovery and real geometry extensions for Raspberry Pi 3/4}, year = {2019}, howpublished = {A release of a GitHub project}, note = {\url{https://github.com/kovzol/geogebra/releases/tag/v5.0.560.0-20191018-rpi4}}, journal = {GitHub repository}, month = {10}, publisher = {GitHub}, } @Booklet{discover-rg5, author = {Kov\'acs, Zolt\'an}, title = {GeoGebra 5.0.540.0 with discovery and real geometry extensions for Raspberry Pi 3/4}, year = {2019}, howpublished = {A release of a GitHub project}, note = {\url{https://github.com/kovzol/geogebra/releases/tag/v5.0.540.0-20190930-rpi4}}, journal = {GitHub repository}, month = {09}, publisher = {GitHub}, } @Misc{aca2019, author = {Kov{\'a}cs, Zolt{\'a}n and Recio, Tom\'as and V\'elez, M. Pilar}, title = {GeoGebra Automated Reasoning Tools: a problem from Spanish Civil Service Math Teachers' examination}, year = {2019}, howpublished = {Presentation at Linz STEAM Education Conference, Linz, Austria}, month = {07}, doi = {10.13140/RG.2.2.35306.88003}, ourl = {https://www.researchgate.net/publication/334593955_GeoGebra_Automated_Reasoning_Tools_a_problem_from_Spanish_Civil_Service_Math_Teachers'_examination}, } @Misc{delauney-macas, author = {Zolt\'an Kov\'acs and Barbara Lichtenegger and Tom\'as Recio and Philippe R. Richard and M. Pilar V\'elez}, title = {Exploring artwork through Delaunay triangulations}, year = {2019}, date = {2019-07-05}, howpublished = {Presentation at MACAS 2019, Montreal, Canada}, month = {7}, url = {https://www.researchgate.net/publication/337562235_Exploring_artwork_through_Delaunay_triangulations}, } @Misc{santiago2019, author = {Kov{\'a}cs, Zolt{\'a}n}, title = {Implementing a mechanical geometer in {GeoGebra}}, year = {2019}, date = {2019-11-16}, howpublished = {Presentation at Workshop on automated geometry theorem proving, Santiago de Compostela, Spain}, note = {\url{https://www.usc.es/regaca/wp2019/plenary.html}}, month = {11}, } @Misc{dragoncurve-steam, author = {Kov{\'a}cs, Zolt{\'a}n}, title = {Teaching fractals for gifted learners at age 12 by using novel technologies}, year = {2020}, date = {January 16, 2020}, howpublished = {Presentation at Pedagogical Innovations in STEAM Education Conference and Action Research Workshop, Linz, Austria}, month = {1}, url = {https://www.geogebra.org/m/tsnr5dpj#material/emznf3j2}, } @Article{kovacs2019teaching12, author = {Zolt\'an Kov\'acs}, title = {Teaching fractals for gifted learners at age 12 by using novel technologies}, journal = {CoRR}, year = {2019}, volume = {abs/1912.08703}, url = {https://arxiv.org/abs/1912.08703}, archiveprefix = {arXiv}, primaryclass = {math.HO}, } @InProceedings{adg-ag-paper, author = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio}, title = {Automated {G}eometer, a Web-based Discovery Tool}, booktitle = {Proceedings of the 12th International Conference on Automated Deduction in Geometry}, year = {2018}, editor = {Hongbo Li}, pages = {7-13}, } @Article{gdm, author = {Zolt\'an Kov\'acs and Peter Mayerhofer}, title = {Das Epsilon-Delta Spiel und Schach}, journal = {Mitteilungen der Gesellschaft f\"ur Didaktik der Mathematik}, year = {2020}, volume = {108}, pages = {45-48}, issn = {0722-7817}, } @InProceedings{roseta, author = {Francisco Botana and Zolt\'an Kov\'acs and Tomas Recio}, title = {Automatically augmented reality for outdoor mathematics}, booktitle = {Research on Outdoor STEM Education in the digiTal Age}, year = {2020}, editor = {Matthias Ludwig and Simone Jablonski and Am\'elia Caldeira and Ana Moura}, booksubtitle = {Proceedings of the ROSETA Online Conference in June 2020}, publisher = {WTM Verlag f\"ur wissenschaftliche Texte und Medien, M\"unster}, isbn = {978-3-95987-144-0}, pages = {71-78}, doi = {10.37626/GA9783959871440.0.09}, } @Article{gaceta, author = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio and M. Pilar V\'elez}, title = {Hacia un aut\'omata ge\'ometra}, journal = {La Gaceta de la Real Sociedad Matem\'atica Espa\~nola}, year = {2020}, date = {2020-06-14}, volume = {23}, number = {2}, pages = {343-371}, issn = {1138-8927}, url = {http://gaceta.rsme.es/vernumero.php?id=114}, } @Article{mcs2018, author = {Zolt\'an Kov\'acs}, title = {Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry}, journal = {Mathematics in Computer Science}, year = {2018}, volume = {13}, month = {11}, pages = {131-141}, issn = {1661-8270}, doi = {10.1007/s11786-018-0390-0}, abstract = {A survey on the speed of real-time animation of loci and envelopes in the dynamic geometry software GeoGebra is presented.}, owner = {kovzol}, timestamp = {2018.12.15.}, } @Misc{cadgme-mini, author = {Kov{\'a}cs, Zolt{\'a}n}, title = {Discovering and proving algebraic facts on traditional geometric figures with GeoGebra}, year = {2020}, date = {June 23, 2020}, howpublished = {Presentation at CADGME Online Gathering 2020}, month = {6}, url = {https://www.geogebra.org/m/nj8hcdww}, } @Misc{sc2, author = {R\'obert Vajda and Zolt\'an Kov\'acs}, title = {{G}eo{G}ebra and the \textit{realgeom} Reasoning Tool}, year = {2020}, date = {2020-07-05}, howpublished = {Presentation at IJCAR/SMT/SC${}^2$ Conference (virtual), Paris, France}, month = {7}, url = {https://www.researchgate.net/publication/342701249_GeoGebra_and_the_realgeom_Reasoning_Tool}, abstract = {Reasoning tools for geometric equalities based on elimination methods are already integrated in some dynamic geometry systems (DGS), in particular in GeoGebra. However, no reasoning tools in any popular DGS environments for elementary inequalities exist yet. This talk investigates if the generic real quantifier elimination (RQE) methods and their existing implementations are mature enough from the practical point of view to explore simple elementary Euclidean triangle inequalities and the best possible geometric constants occurring in the inequalities.}, owner = {kovzol}, timestamp = {2020-07-05}, } @Booklet{geogebra-discovery, author = {Kov\'acs, Zolt\'an}, title = {{GeoGebra} {Discovery}}, year = {2020}, howpublished = {A GitHub project}, note = {\url{https://github.com/kovzol/geogebra-discovery}}, month = {07}, } @InProceedings{LNAI11617, author = {Zolt\'an Kov\'acs and Pavel Pech}, title = {Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations}, booktitle = {Intelligent Computer Mathematics}, year = {2019}, editor = {Cezary Kaliszyk and Edwin Brady and Andrea Kohlhase and Claudio Sacerdoti Coen}, eventtitleaddon = {Conference on Intelligent Computer Mathematics}, venue = {Prague, Czechia}, volume = {11617}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer International Publishing}, month = Jul, isbn = {978-3-030-23249-8}, chapter = {10}, pages = {140-154}, doi = {10.1007/978-3-030-23250-4_10}, } @InProceedings{LNCS12291, author = {Zolt\'an Kov\'acs}, title = {\textit{Mathemachines} via {LEGO}, {G}eo{G}ebra and {C}indy{JS}}, booktitle = {Intelligent Computer Mathematics}, year = {2020}, editor = {Boulier, F. and England, M. and Sadykov, T.M. and Vorozhtsov, E.V.}, eventtitleaddon = {22nd International Workshop, CASC 2020}, eventdate = {September 14–18, 2020}, venue = {Linz, Austria}, volume = {12291}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer International Publishing}, month = Jul, isbn = {978-3-030-60025-9}, chapter = {22}, pages = {390-401}, doi = {10.1007/978-3-030-60026-6_22}, } @Misc{casc2020-p, author = {Kov{\'a}cs, Zolt{\'a}n}, title = {\textit{Mathemachines} via LEGO, GeoGebra and CindyJS}, year = {2020}, date = {September 18, 2020}, howpublished = {Presentation at CASC 2020 Conference (virtual)}, month = {9}, url = {https://www.researchgate.net/publication/344289682_Mathemachines_via_LEGO_GeoGebra_and_CindyJS}, } @Article{kovacs-yu-2020, author = {Zolt\'an Kov\'acs and Jonathan H. Yu}, title = {Towards Automated Discovery of Geometrical Theorems in {G}eo{G}ebra}, journal = {CoRR}, year = {2020}, volume = {abs/2007.12447}, url = {https://arxiv.org/abs/2007.12447}, archiveprefix = {arXiv}, primaryclass = {cs.AI}, } @Article{twocircles, author = {Zolt\'an Kov\'acs}, title = {Two almost-circles, and two real ones}, journal = {CoRR}, year = {2020}, volume = {abs/2003.11490}, url = {https://arxiv.org/abs/2003.11490}, archiveprefix = {arXiv}, primaryclass = {math.HO}, } @Article{ijmest-2020, author = {Zolt\'an Kov\'acs and Tom\'as Recio and Philippe R. Richard and Steven Van Vaerenbergh and M. Pilar V\'elez}, title = {Towards an ecosystem for computer-supported geometric reasoning}, journal = {International Journal of Mathematical Education in Science and Technology}, year = {2020}, date = {2020-11-02}, doi = {10.1080/0020739X.2020.1837400}, } @InProceedings{scsc-2020, author = {R\'obert Vajda and Zolt\'an Kov\'acs}, title = {{G}eo{G}ebra and the {\itshape realgeom} Reasoning Tool}, booktitle = {PAAR+SC-Square 2020. Workshop on Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020}, year = {2020}, date = {2020-11-28}, editor = {Pascal Fontaine and Konstantin Korovin and Ilias S. Kotsireas and Philipp R\"ummer and Sophie Tourret}, volumes = {2752}, month = {6}, pages = {204-219}, eprint = {http://ceur-ws.org/Vol-2752/paper15.pdf}, issn = {1613-0073}, journal = {CEUR Workshop Proceedings}, } @Article{mcs2020-ag, author = {Francisco Botana and Zolt\'an Kov\'acs and Tom\'as Recio}, title = {A mechanical geometer}, journal = {Mathematics in Computer Science}, year = {2021}, date = {2020-11-06}, volume = {15}, number = {4}, pages = {631-641}, issn = {1661-8289}, doi = {10.1007/s11786-020-00497-7}, } @Article{ATCM-paper, author = {Zolt\'an Kov\'acs and Tom\'as Recio}, title = {{G}eo{G}ebra reasoning tools for humans and for automatons}, journal = {Electronic Proceedings of the 25th Asian Technology Conference in Mathematics}, year = {2020}, date = {2020-12-14}, issn = {1940-4204}, eprint = {http://atcm.mathandtech.org/EP2020/index.html}, } @Misc{maple2020-pres, author = {Zolt\'an Kov\'acs and Tom\'as Recio and M.~Pilar V\'elez}, title = {Merging {M}aple and {G}eo{G}ebra {A}utomated {R}easoning {T}ools}, year = {2020}, date = {19 October 2020}, howpublished = {Presentation at the Maple 2020 Conference (virtual)}, month = {10}, url = {https://www.researchgate.net/publication/347952642_Merging_Maple_and_GeoGebra_Automated_Reasoning_Tools}, } @Misc{atcm2020-pres, author = {Zolt\'an Kov\'acs and Tom\'as Recio}, title = {{G}eo{G}ebra {R}easoning {T}ools for humans and automatons}, year = {2020}, date = {15 December 2020}, howpublished = {Presentation at the Asian Technology Conference in Mathematics 2020 (virtual)}, month = {12}, url = {https://www.researchgate.net/publication/347256855_GeoGebra_Reasoning_Tools_for_Humans_and_for_Automatons}, } @Article{ellipsograph, author = {Sara Jodlbauer and Zolt\'an Kov\'acs}, title = {Ellipsograph of Archimedes as a simple LEGO construction}, journal = {CoRR}, year = {2020}, volume = {abs/2012.01352}, url = {https://arxiv.org/abs/2012.01352}, archiveprefix = {arXiv}, primaryclass = {math.HO}, } @Booklet{bibref, author = {Kov\'acs, Zolt\'an}, title = {bibref: A tool that helps discovering internal references in the {B}ible}, year = {2020}, howpublished = {A GitHub project}, note = {\url{https://github.com/kovzol/bibref}}, month = {03}, } @Article{rmec, author = {Kov\'acs, Zolt\'an}, title = {Discovering geometry via the {D}iscover command in {G}eo{G}ebra {D}iscovery}, journal = {Revista de Matem\'atica, Ensino e Cultura -- REMATEC, Bel\'em/PA}, year = {2021}, volume = {16}, number = {37}, month = {01}, pages = {14-25}, doi = {10.37084/REMATEC.1980-3141.2021.n37.p14-25.id313}, } @Article{ijtme-lego, author = {Zolt\'an Kov\'acs}, title = {Teaching Algebraic Curves for Gifted Learners at Age 11 by Using {LEGO} Linkages and {G}eo{G}ebra}, journal = {International Journal of Technology in Mathematics Education}, year = {2020}, volume = {27}, number = {4}, doi = {10.1564/tme_v27.4.03} } @InProceedings{Baeta_2020, author = {Baeta, Nuno and Quaresma, Pedro and Kov\'{a}cs, Zolt\'{a}n}, title = {Towards a Geometry Automated Provers Competition}, booktitle = {Proceedings ThEdu'19}, year = {2020}, editor = {Pedro Quaresma and Walther Neuper and Joao Marcos}, volume = {313}, publisher = {Open Publishing Association}, address = {Waterloo}, month = {02}, pages = {93-100}, doi = {10.4204/eptcs.313.6}, issn = {2075-2180}, journal = {Electronic Proceedings in Theoretical Computer Science} } @Article{mcs2021a, author = {Zolt\'{a}n Kov\'{a}cs}, title = {Two almost-circles, and two real ones}, journal = {Mathematics in Computer Science}, year = {2021}, volume = {15}, issue = {4}, pages = {789-801}, issn = {1661-8289}, doi = {10.1007/s11786-021-00506-3}, date1 = {2021-03-15}, } @Article{NoT, author = {Dana-Picard, Thierry (Noah) and Kov\'acs, Zolt\'an}, title = {Networking of technologies: a dialog between {CAS} and {DGS}}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2021}, volume = {15}, number = {1}, pages = {43-59}, } @Article{mcs2021b, author = {Anurag Aggarwal and Zolt\'an Kov\'acs and Jonathan Wolfe and J.B. Langston}, title = {{X}ao{S} 4.0 and Beyond: Fractals in Mathematics Education}, journal = {Mathematics in Computer Science}, year = {2021}, volume = {15}, issue = {4}, pages = {775-788}, issn = {1661-8289}, doi = {10.1007/s11786-021-00505-4}, date1 = {2021-03-19}, } @Article{saopaulo, author = {Kov\'acs, Zolt\'an}, title = {On a problem that was not interesting for {Erd\H{o}s} (Sobre um problema que n\~ao era interessante para {Erd\H{o}s})}, journal = {Revista do Instituto {G}eo{G}ebra de {S}\~ao {P}aulo}, year = {2021}, volume = {10}, number = {1}, pages = {5-18}, issn = {2237-9657}, doi = {10.23925/2237-9657.2021.v10i1p005-018}, } @Article{problem-corner-comments, author = {Kov\'acs, Zolt\'an and Recio, Tom\'as}, title = {Alternative solutions and comments to the {P}roblem {C}orner -- October 2020 issue}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2021}, note = {\url{https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_Alternative_Solutions_to_Oct2020.pdf}}, } @Misc{thedu21-symbcomp, author = {Kov{\'a}cs, Zolt{\'a}n and R\'obert Vajda}, title = {Symbolic comparison of geometric quantities in {G}eo{G}ebra}, year = {2021}, date = {July 11, 2021}, howpublished = {Presentation at ThEdu'21 Conference, Online}, month = {7}, url = {https://www.researchgate.net/publication/353167258_Symbolic_comparison_of_geometric_quantities_in_GeoGebra}, } @Misc{thedu21-discover, author = {Kov{\'a}cs, Zolt{\'a}n and Jonathan H. Yu}, title = {Automated Discovery of Geometrical Theorems in GeoGebra}, year = {2021}, date = {July 11, 2021}, howpublished = {Presentation at ThEdu'21 Conference, Online}, month = {7}, url = {https://www.researchgate.net/publication/353167079_Automated_Discovery_of_Geometrical_Theorems_in_GeoGebra}, } @Misc{cadgme-mini21, author = {Kov{\'a}cs, Zolt{\'a}n and Tom\'as Recio and R\'obert Vajda and M. Pilar V\'elez}, title = {Towards a direct proof of Euler's inequality in a dynamic geometry system}, year = {2021}, date = {June 24, 2021}, howpublished = {Presentation at CADGME Online Gathering 2021}, month = {6}, url = {https://www.researchgate.net/publication/352714603_Towards_a_direct_proof_of_Euler's_inequality_in_a_dynamic_geometry_system}, } @Misc{canary21, author = {Kov{\'a}cs, Zolt{\'a}n}, title = {Descubrir hechos sorprendentes en figuras geom\'etricas simples con {G}eo{G}ebra {D}iscovery}, year = {2021}, date = {June 5, 2021}, howpublished = {Presentation at V Encuentro GeoGebra Canarias 2021}, month = {6}, url = {https://www.researchgate.net/publication/352523406_Descubrir_hechos_sorprendentes_en_figuras_geometricas_simples_con_GeoGebra_Discovery}, } @InProceedings{MergingMapleGGART, author = {Kov{\'a}cs, Zolt{\'a}n and Recio, Tom{\'a}s and V{\'e}lez, M. Pilar}, title = {Merging Maple and GeoGebra Automated Reasoning Tools}, booktitle = {Maple in Mathematics Education and Research}, year = {2021}, editor = {Corless, Robert M. and Gerhard, J{\"u}rgen and Kotsireas, Ilias S.}, publisher = {Springer International Publishing}, isbn = {978-3-030-81698-8}, pages = {252--267}, abstract = {A branch of the Automated Deduction in Geometry (ADG) theory deals with the automatic proof and discovery of theses holding on a given collection of hypotheses. The mechanical proof and derivation of such statements, through computational complex algebraic geometry methods, will be exemplify in this paper through the performance of GeoGebra Automated Reasoning Tools. Then we will refer to some challenging issues that rise in this context, regarding the translation in algebraic terms of the given geometric facts, the verification or the finding of the sought properties, and the interpretation of the outcome. We will show how some of these involved issues could be be better approached through the collaboration of Maple packages for polynomial ideal manipulation, requiring, as well, diverse theoretical concepts recently introduced by the authors.}, address = {Cham}, } @Misc{aca21-2-pres, author = {Kov{\'a}cs, Zolt{\'a}n and Tom\'as Recio and R\'obert Vajda and M. Pilar V\'elez}, title = {Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?}, year = {2021}, date = {July 26, 2021}, HowPublished = {Presentation at ACA-26, Virtual, Online}, Month = {7}, Note = {\url{https://www.researchgate.net/publication/353466393_Is_computer_algebra_ready_for_conjecturing_and_proving_geometric_inequalities_in_the_classroom}} } @Misc{aca21-1-pres, author = {Thierry Dana-Picard and Zolt\'an Kov\'acs}, title = {Automated exploration of envelopes and offsets with networking of technologies}, year = {2021}, date = {July 23, 2021}, HowPublished = {Presentation at ACA-26, Virtual, Online}, Month = {7} } @InProceedings{aca21-2, Title = {Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?}, Author = {Kov{\'a}cs, Zolt{\'a}n and Tom\'as Recio and R\'obert Vajda and M. Pilar V\'elez}, Booktitle = {26th Conference on Applications of Computer Algebra, Book of Abstracts}, Year = {2021}, Month = {7}, Note = {\url{https://aca2021.sba-research.org/data/ACA_2021_Book_of_Abstracts.pdf}} } @InProceedings{aca21-1, author = {Thierry Dana-Picard and Zolt\'an Kov\'acs}, title = {Automated exploration of envelopes and offsets with networking of technologies}, Booktitle = {26th Conference on Applications of Computer Algebra, Book of Abstracts}, Year = {2021}, Month = {7}, Note = {\url{https://aca2021.sba-research.org/data/ACA_2021_Book_of_Abstracts.pdf}} } @Misc{cicm2021-pres, author = {Zolt\'an Kov\'acs and R\'obert Vajda}, title = {Extending {G}eo{G}ebra/realgeom with {QEPCAD} {B} to obtain proofs on geometric inequalities}, year = {2021}, date = {26 July 2021}, howpublished = {Presentation at the Conference on Intelligent Computer Mathematics, Timisoara, Romania}, month = {7}, url = {https://www.researchgate.net/publication/https://www.researchgate.net/publication/353466395_Extending_GeoGebrarealgeom_with_QEPCAD_B_to_obtain_proofs_on_geometric_inequalities} } @Article{math9161964, author = {Kov\'acs, Zolt\'an and Recio, Tom\'as and Tabera, Luis F. and V\'elez, M. Pilar}, title = {Dealing with Degeneracies in Automated Theorem Proving in Geometry}, journal = {Mathematics}, year = {2021}, volume = {9}, number = {16}, pages = {1964}, issn = {2227-7390}, doi = {10.3390/math9161964}, url = {https://www.mdpi.com/2227-7390/9/16/1964}, abstract = {We report, through different examples, the current development in GeoGebra, a widespread Dynamic Geometry software, of geometric automated reasoning tools by means of computational algebraic geometry algorithms. Then we introduce and analyze the case of the degeneracy conditions that so often arise in the automated deduction in geometry context, proposing two different ways for dealing with them. One is working with the saturation of the hypotheses ideal with respect to the ring of geometrically independent variables, as a way to globally handle the statement over all non-degenerate components. The second is considering the reformulation of the given hypotheses ideal—considering the independent variables as invertible parameters—and developing and exploiting the specific properties of this zero-dimensional case to analyze individually the truth of the statement over the different non-degenerate components.}, article-number = {1964}, } @Article{math9202548, author = {Recio, Tom\'as and Losada, Rafael and Kov\'acs, Zolt\'an and Ueno, Carlos}, title = {Discovering Geometric Inequalities: The Concourse of {G}eo{G}ebra Discovery, Dynamic Coloring and {M}aple Tools}, journal = {Mathematics}, year = {2021}, volume = {9}, number = {20}, month = {Oct}, pages = {2548}, issn = {2227-7390}, doi = {10.3390/math9202548}, publisher = {MDPI AG}, } @Article{problem-corner-June2020, author = {Szilassi, Lajos and Kov\'acs, Zolt\'an}, title = {{P}roblem {C}orner -- June 2020}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2020}, note = {\url{https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_ProblemCorner_Problems_Jun2020.pdf}}, } @Article{problem-corner-June2020-sol, author = {Szilassi, Lajos and Kov\'acs, Zolt\'an}, title = {{P}roblem {C}orner -- June 2020 -- Solutions}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2020}, note = {\url{https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_ProblemCorner_Solutions_to_Jun2020.pdf}}, } @Article{problem-corner-June2022, author = {Kov\'acs, Zolt\'an and Steininger, Edith}, title = {{P}roblem {C}orner -- June 2022}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2022}, note = {\url{https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_ProblemCorner_Problems_Jun2022.pdf}} } @Article{problem-corner-June2022-sol, author = {Kov\'acs, Zolt\'an and Steininger, Edith}, title = {{P}roblem {C}orner -- June 2022}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2022}, note = {\url{https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_ProblemCorner_Solutions_to_Jun2022.pdf}}, } @Article{PuigAdam2021, author = {Thierry Dana-Picard and Zolt\'an Kov\'acs}, title = {Offsets of a regular trifolium (Curvas paralelas a un trifolium regular)}, journal = {Bolet\'{\i}n de la Soc. Puig Adam}, year = {2021}, volume = {112}, pages = {63-81}, } @Article{ACM2021, author = {Zolt\'an Kov\'acs and Tom\'as Recio and M.~Pilar V\'elez}, title = {Automated reasoning tools in {G}eo{G}ebra {D}iscovery}, journal = {ACM Communications in Computer Algebra}, year = {2021}, volume = {55}, number = {2}, month = {6}, pages = {39-43}, doi = {10.1145/3493492.3493495} } @Inproceedings{EPTCS352.0, author = {Jani\v{c}i\'c, Predrag and Kov\'acs, Zolt\'an }, year = {2021}, title = {Preface}, editor = {Jani\v{c}i\'c, Predrag and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings of the 13th International Conference on} Automated Deduction in Geometry, {\rm Hagenberg, Austria/virtual, September 15-17, 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {352}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {3-6}, doi = {10.4204/EPTCS.352.0}, } @Inproceedings{EPTCS352.10, author = {Thaller, Alexander and Kov\'acs, Zolt\'an}, year = {2021}, title = {Online Generation of Proofs Without Words}, editor = {Jani\v{c}i\'c, Predrag and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings of the 13th International Conference on} Automated Deduction in Geometry, {\rm Hagenberg, Austria/virtual, September 15-17, 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {352}, address = {Waterloo}, publisher = {Open Publishing Association}, pages = {103-105}, doi = {10.4204/EPTCS.352.10}, } @InProceedings{EPTCS352.16, author = {Kov\'acs, Zolt\'an and Recio, Tom\'as and V\'elez, M. Pilar}, title = {{G}eo{G}ebra {D}iscovery in Context}, booktitle = {{\rm Proceedings of the 13th International Conference on} Automated Deduction in Geometry, {\rm Hagenberg, Austria/virtual, September 15-17, 2021}}, year = {2021}, editor = {Jani\v{c}i\'c, Predrag and Kov\'acs, Zolt\'an}, volume = {352}, series = {Electronic Proceedings in Theoretical Computer Science}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {141-147}, doi = {10.4204/EPTCS.352.16}, } @Inproceedings{EPTCS352.18, author = {Brown, Christopher W. and Kov\'acs, Zolt\'an and Vajda, R\'obert }, year = {2021}, title = {Supporting Proving and Discovering Geometric Inequalities in {G}eo{G}ebra by using {T}arski}, editor = {Jani\v{c}i\'c, Predrag and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings of the 13th International Conference on} Automated Deduction in Geometry, {\rm Hagenberg, Austria/virtual, September 15-17, 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {352}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {156-166}, doi = {10.4204/EPTCS.352.18}, } @Inproceedings{EPTCS352.19, author = {Kov\'acs, Zolt\'an and Vajda, R\'obert }, year = {2021}, title = {Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in {G}eo{G}ebra}, editor = {Jani\v{c}i\'c, Predrag and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings of the 13th International Conference on} Automated Deduction in Geometry, {\rm Hagenberg, Austria/virtual, September 15-17, 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {352}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {167-172}, doi = {10.4204/EPTCS.352.19}, } @Article{problem-corner-comments2, author = {Kov\'acs, Zolt\'an and Recio, Tom\'as and V\'elez, M. Pilar}, title = {Alternative solutions and comments to the {P}roblem {C}orner -- October 2021 issue}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2022}, month = 10, note = {\url{https://php.radford.edu/~ejmt/ProblemCornerDocs/eJMT_Alternative_Solutions_to_Oct2021.pdf}}, } @Article{Cassini, author = {Dana-Picard, Thierry (Noah) and Kov\'acs, Zolt\'an}, title = {Offsets of {C}assini ovals}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2022}, volume = {16}, number = {1}, pages = {25-39}, } @Article{Cassini-rjmt, author = {Dana-Picard, Thierry (Noah) and Kov\'acs, Zolt\'an}, title = {Offsets of {C}assini ovals}, journal = {Research Journal of Mathematics \& Technology}, year = {2022}, volume = {11}, number = {2}, pages = {25-39}, } @InProceedings{EPTCS354.1, author = {Kov\'acs, Zolt\'an and Yu, Jonathan H.}, title = {Automated Discovery of Geometrical Theorems in {G}eo{G}ebra}, booktitle = {{\rm Proceedings 10th International Workshop on} Theorem Proving Components for Educational Software, {\rm (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021}}, year = {2022}, editor = {Marcos, Jo\~ao and Neuper, Walther and Quaresma, Pedro}, volume = {354}, series = {Electronic Proceedings in Theoretical Computer Science}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {1-12}, doi = {10.4204/EPTCS.354.1}, } @Inproceedings{EPTCS354.2, author = {Kov\'acs, Zolt\'an and Vajda, R\'obert}, year = {2022}, title = {Symbolic Comparison of Geometric Quantities in {G}eo{G}ebra}, editor = {Marcos, Jo\~ao and Neuper, Walther and Quaresma, Pedro}, booktitle = {{\rm Proceedings 10th International Workshop on} Theorem Proving Components for Educational Software, {\rm (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {354}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {13-25}, doi = {10.4204/EPTCS.354.2}, } @Incollection{aca2020-1, author="Kov{\'a}cs, Zolt{\'a}n and Recio, Tom{\'a}s and V{\'e}lez, M. Pilar", editor="Richard, Philippe R. and V{\'e}lez, M. Pilar and Van Vaerenbergh, Steven", title="Automated Reasoning Tools with {G}eo{G}ebra: {W}hat Are They? {W}hat Are They Good For?", booktitle="Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence can Serve Mathematical Human Learning", year="2022", publisher="Springer International Publishing", address="Cham", pages="23--44", isbn="978-3-030-86909-0", doi="10.1007/978-3-030-86909-0\_2" } @Incollection{aca2020-2, author="Dana-Picard, Thierry and Kov{\'a}cs, Zolt{\'a}n", editor="Richard, Philippe R. and V{\'e}lez, M. Pilar and Van Vaerenbergh, Steven", title="Experimental Study of Isoptics of a Plane Curve Using Dynamical Coloring", booktitle="Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence can Serve Mathematical Human Learning", year="2022", publisher="Springer International Publishing, Cham", pages="231--250", isbn="978-3-030-86909-0", doi="10.1007/978-3-030-86909-0\_11" } @inproceedings{cesaro, author={Kov\'acs, Z. and Recio, T. and V\'elez, M. P.}, year={2021}, month=12, title={Approaching {C}es\`aro's inequality through {G}eo{G}ebra {D}iscovery}, booktitle={Proceedings of the Asian Technology Conference in Mathematics}, editor={W.C. Yang and D.B. Meade and M. Majewski}, publisher={Mathematics and Technology, LLC.}, issn={1940-4204}, note={\url{http://atcm.mathandtech.org/EP2021}}, pages={160--174} } @misc{cesaro-pres, author={Recio, T. and Kov\'acs, Z. and V\'elez, M. P.}, title={Approaching {C}es\`aro's inequality through {G}eo{G}ebra {D}iscovery}, year=2021, date={13-15 December 2021}, howpublished={Invited talk at 26th Asian Technology Conference in Mathematics, Universidad Nebrija (virtual)} } @Misc{steam2022-madrid, author = {Zolt\'an Kov\'acs}, title = {A LEGO kit for prospective math teachers}, year = {2022}, date = {19 April 2022}, howpublished = {Presentation at Advances in STEAM Education, looking for future synergies, Madrid, Spain}, month = {4}, url = {https://matek.hu/zoltan/steam-2022-lego.php} } @Misc{escape, author = {Zolt\'an Kov\'acs}, title = {Escape time fractals in mathematics education}, year = {2021}, date = {5 November 2021}, howpublished = {Presentation at School of Maths Teaching Theme seminars, Edinburgh, Scotland}, month = {11}, url = {https://www.researchgate.net/publication/355955065_Escape-time_fractals_in_mathematics_education} } @Misc{concourse-pres, author = {Kov\'acs, Zolt\'an and Losada, Rafael and Recio, Tom\'as}, title = {Discovering Geometric Inequalities: The Concourse of {G}eo{G}ebra Discovery, Dynamic Coloring and {M}aple Tools}, year = {2021}, date = {5 November 2021}, howpublished = {Presentation at Maple Conference}, month = {11}, url = {https://www.researchgate.net/publication/355955226_Discovering_geometric_inequalities_the_concourse_of_GeoGebra_Discovery_Dynamic_coloring_and_Maple_tools} } @misc{adg2021-context, author = {Kov\'acs, Zolt\'an and Recio, Tom\'as and V\'elez, M. Pilar}, title = {{G}eo{G}ebra {D}iscovery in Context}, howpublished = {Presentation at the 13th International Conference on Automated Deduction in Geometry, Hagenberg, Austria}, year = {2021}, date = {15 September 2021}, url = {https://www.researchgate.net/publication/355217629_GeoGebra_Discovery_in_context}, note = {\url{https://www.youtube.com/playlist?list=PLi7gJjVg5rNDkl2HQdWm_C5eXVsvfJv-T}}, month = 9, } @misc{adg2021-prf, author = {R\'obert Vajda and Kov\'acs, Zolt\'an}, title = {Parametric Root Finding to support discovering geometric inequalities in {G}eo{G}ebra}, howpublished = {Presentation at the 13th International Conference on Automated Deduction in Geometry, Hagenberg, Austria}, year = {2021}, date = {15 September 2021}, month = 9, url = {https://www.researchgate.net/publication/355217530_Parametric_Root_Finding_to_support_discovering_geometric_inequalities_in_GeoGebra} } @misc{adg2021-tarski, author = {Brown, Christopher W. and Kov\'acs, Zolt\'an and Vajda, R\'obert }, year = {2021}, title = {Supporting Proving and Discovering Geometric Inequalities in {G}eo{G}ebra by using {T}arski}, month = 9, howpublished = {Presentation at the 13th International Conference on Automated Deduction in Geometry, Hagenberg, Austria}, url = {https://www.researchgate.net/publication/355208878_Supporting_proving_and_discovering_geometric_inequalities_in_GeoGebra_by_using_Tarski} } @misc{adg2021-online, author = {Thaller, Alexander and Kov\'acs, Zolt\'an}, year = {2021}, title = {Online Generation of Proofs Without Words}, url = {https://www.researchgate.net/publication/355208975_Online_generation_of_proofs_without_words}, month = 9, howpublished = {Presentation at the 13th International Conference on Automated Deduction in Geometry, Hagenberg, Austria} } @inproceedings{csgg2022, author={Zoltán Kovács and Jonathan H. Yu}, title={Stepwise discovery of mathematical knowledge in {G}eo{G}ebra}, booktitle={Proceedings of the Czech-Slovak Conference on Geometry and Graphics 2022}, year=2022, editor={Miroslav L\'avi\v{c}ka and Daniela Velichov\'a and Dagmar Szarkov\'a}, publisher={Vydavatelstvo SCHK}, isbn={978-80-8208-092-9}, pages={33-41}, month = 10 } @article{mcs2022, year=2022, month = 12, doi={10.1007/s11786-022-00532-9}, title={Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?}, author={Christopher W. Brown and Kov{\'a}cs, Zolt{\'a}n and Tom\'as Recio and R\'obert Vajda and M. Pilar V\'elez}, journal = {Mathematics in Computer Science}, year = {2022}, volume = {16}, pages = {31}, note={\url{https://rdcu.be/c07bf}} } @misc{atcm2022-pres, author = {Kov\'acs, Zolt\'an and Recio, Tom\'as}, year = {2022}, title = {Real Quantifier Elimination in the Classroom}, month = 12, date={11 December 2022}, howpublished = {Presentation at the Asian Technology Conference in Mathematics 2022, University of Life Sciences, Prague}, url = {https://www.researchgate.net/publication/366177699_Real_quantifier_elimination_in_the_classroom} } @inproceedings{ATCM2022-paper, author = {Zolt\'an Kov\'acs and Tom\'as Recio}, title = {Real Quantifier Elimination in the Classroom}, booktitle = {Electronic Proceedings of the 27th Asian Technology Conference in Mathematics}, year = {2022}, date = {2022-12-12}, issn = {1940-4204}, eprint = {http://atcm.mathandtech.org/EP2022/index.html}, note = {\url{https://atcm.mathandtech.org/EP2022/invited/21952.pdf}}, editor = {Wei-Chi Yang and Miroslaw Majewski and Douglas Meade and Weng Kin Ho} } @Article{ATCM2022-paper-full, author = {Zolt\'an Kov\'acs and Tom\'as Recio}, title = {Real Quantifier Elimination in the Classroom}, journal = {Proceedings of the Asian Technology Conference in Mathematics}, year = {2022}, date = {2022-12-12}, pages = {77-90} } @Misc{Olomouc2022, Title = {Stepwise discovery of geometrical knowledge in GeoGebra}, Author = {Kov\'{a}cs, Zolt\'{a}n}, HowPublished = {Presentation at CSGG-8, Olomouc, Czech Republic}, Month = {9}, Year = {2022}, Date = {12-15 September 2022}, url = {https://www.researchgate.net/publication/363582277_Stepwise_discovery_of_geometrical_knowledge_in_GeoGebra} } @Misc{CADGME2022, author = {Zolt\'an Kov\'acs}, title = {Easy (but exact) study of caustics of conics}, year = {2022}, howpublished = {Presentation at CADGME-10, Jerusalem, Israel}, month = {9}, url = {https://www.researchgate.net/publication/363520142_Easy_but_exact_study_of_caustics_of_conics} } @inproceedings{SYNASC2022-proceedings, Author = {Kov\'{a}cs, Zolt\'{a}n and Christopher W. Brown and Tom\'as Recio and R\'obert Vajda}, Month = {9}, Year = {2022}, Date = {12-15 September 2022}, title = {A web version of \textsc{Tarski}, a system for computing with {T}arski formulas and semialgebraic sets}, url = {https://conferences.computer.org/synascpub/pdfs/SYNASC2022-6u1q7YgAxClr0qBY4l1mGA/654500a059/654500a059.pdf}, booktitle={Proceedings of the 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)}, editor={Bruno Buchberger and Mircea Marin and Viorel Negru and Daniela Zaharie}, publisher={IEEE Computer Society Conference Publishing Services}, isbn={978-1-6654-6545-8}, pages={59-62} } @Misc{SYNASC2022, Author = {Kov\'{a}cs, Zolt\'{a}n and Christopher W. Brown and Tom\'as Recio and R\'obert Vajda}, HowPublished = {Presentation at SYNASC-24, Hagenberg, Austria}, Month = {9}, Year = {2022}, Date = {12-15 September 2022}, title = {A web version of \textsc{Tarski}, a system for computing with Tarski formulas and semialgebraic sets}, url = {https://www.researchgate.net/publication/363653289_A_web_version_of_TARSKI_a_system_for_computing_with_Tarski_formulas_and_semialgebraic_sets} } @article{mcs2023, author={Dana-Picard, Thierry and Kov\'acs, Zolt\'an}, year=2023, title={Automated Exploration of Envelopes and Offsets with Networking of Technologies}, journal={Mathematics in Computer Science}, pages=3, volume=17, number=1, abstract={We explore envelopes and offsets of plane curves using automated methods, based on the usage of Computer Algebra Systems and Dynamical Geometry Systems. Work is performed using both parametric presentations and implicit equations. Implicitization involves well-known algorithms from the theory of Gröbner bases. In particular, irreducibility of the involved polynomials, whence irreducibility of the obtained curves is checked using the latest developments of the software tool GeoGebra Discovery. We conclude with comments on the 4C’s of twenty-first century Education, applied to mathematics and show how networking between technologies provides a suitable environment to apply and develop a 5th C, namely curiosity.}, issn={1661-8289}, doi={10.1007/s11786-022-00555-2}, month=1 } @inPROCEEDINGS{CICM21WIP-realgeom, title = {Extending GeoGebra/realgeom with {QEPCAD}~{B} to obtain proofs on geometric inequalities}, author = {Zolt\'an Kov\'acs and R\'obert Vajda}, booktitle = {Workshop Papers at 14th Conference on Intelligent Computer Mathematics CICM 2021}, key = {CICM21WIP}, year = {2021}, url = {https://ceur-ws.org/Vol-3377/ci1.pdf}, editor = {Jasmin Blanchette and James Davenport and Peter Koepke and Andrea Kohlhase and Michael Kohlhase and Adam Naumowicz and Dennis Müller and Yasmine Sharoda and Claudio Sacerdoti Coen}} @inproceedings{degen-zero, author={Kov\'acs, Z. and Recio, T. and Tabera, L.F. and V\'elez, M.P.}, title={Dealing with degeneracies in automated theorem proving in geometry: a zero-dimensional approach}, booktitle={Actas del {XVII} Congreso {EACA}, Castell\'on de la Plana, Junio 20-22, 2022.}, pages={113-117}, year=2022, month=6} @InProceedings{hdgg2022, author = {Dana-Picard, Thierry and Kov{\'a}cs, Zolt{\'a}n and Recio, Tom\'as}, title = {Inner Isoptics of a Parabola}, booktitle = {5th Croatian Conference on Geometry and Graphics, Dubrovnik, September 4-8, 2022}, year = {2022}, editor = {Do\v{s}li\'c, Tomislav and Jurkin, Ema}, publisher = {Croatian Society for Geometry and Graphics}, month = 9, pages = {29-30}, url = {http://www.hdgg.hr/Dubrovnik/abstracts.pdf}, } @misc{hdgg2022-pres, author = {Dana-Picard, Thierry and Kov{\'a}cs, Zolt{\'a}n and Recio, Tom\'as}, title = {Inner Isoptics of a Parabola}, howpublished = {Presentation at the 5th Croatian Conference on Geometry and Graphics, Dubrovnik, September 4-8, 2022}, year = {2022}, month = 9, url = {https://matek.hu/zoltan/hdgg-2022.php}, } @misc{degen-zero-pres, author={Kov\'acs, Z. and Recio, T. and Tabera, L.F. and V\'lez, M.P.}, title={Dealing with degeneracies in automated theorem proving in geometry: a zero-dimensional approach}, howpublished={Presentation at EACA {XVII}, Castell\'on de la Plana, 20-22 June 2022}, pages={113-117}, year=2022, month=6} @article{KOVACS2023102235, title = {Computing with Tarski formulas and semi-algebraic sets in a web browser}, journal = {Journal of Symbolic Computation}, pages = {102235}, year = {2023}, issn = {0747-7171}, doi = {https://doi.org/10.1016/j.jsc.2023.102235}, url = {https://www.sciencedirect.com/science/article/pii/S0747717123000494}, author = {Zoltán Kovács and Christopher Brown and Tomás Recio and Róbert Vajda}, keywords = {Real geometry, Real quantifier elimination, WebAssembly, Porting, Web browser, C++}, abstract = {We report on successfully porting the Tarski system for computing with Tarski formulas (Boolean combinations of polynomial sign conditions over the real numbers) to Javascript, thereby allowing it to run inside a browser. Tarski is an open-source software package, written in C/C++, that provides operations like formula simplification and quantifier elimination for Tarski formulas. Leveraging the Emscripten C++ to JavaScript/WebAssembly compiler tool, we were able to port Tarski to Javascript and offer it as a module (tarskijs) that can be embedded in other web-based projects. We report on two non-trivial examples of projects that do this. The first is a Tarski terminal (WebTarski) embedded in a webpage and running completely in-browser, thereby making Tarski available to almost anyone. The second is an experimental fork of the well-known dynamic geometry software package GeoGebra that uses tarskijs to provide new features that require real quantifier elimination. The module tarskijs is open source and freely available via GitHub.} } @Misc{Logik-Augsburg-2023, Title = {Reelle Quantorenelimination im Logikunterricht}, Author = {Kov{\'a}cs, Zolt{\'a}n}, HowPublished = {Presentation at Oberseminar Didaktik der Mathematik, Universit\"at Augsburg, Institut f\"ur Mathematik, Germany}, Month = {7}, Year = {2023}, Date = {July 17, 2023}, url = {https://matek.hu/zoltan/Augsburg-20230717.php} } @Misc{linkages-workshop-Madrid-2023, Title = {Linkages geometry with GeoGebra and LEGO}, Author = {Kov{\'a}cs, Zolt{\'a}n}, year = {2023}, date = {2023-02-22}, howpublished = {Workshop at Nebrija University, Madrid, Spain}, Month = {2}, Year = {2023}, url = {https://matek.hu/zoltan/madrid-2023.php} } @Misc{gd-Madrid-2023, Title = {What's new in GeoGebra Discovery (as of 14 February 2023)}, Author = {Kov{\'a}cs, Zolt{\'a}n}, year = {2023}, date = {2023-02-23}, howpublished = {Presentation at Nebrija University, Madrid, Spain}, Month = {2}, Year = {2023}, url = {https://matek.hu/zoltan/gd-madrid-2023.php} } @Misc{CGTA2023-pres, Title = {Topology of Quartic Loci Resulted From Lines Passing through a Fixed Point and a Conic}, Author = {Dana-Picard, Thierry and Kov{\'a}cs, Zolt{\'a}n and Yang, Wei-Chi}, year = {2023}, date = {2023-06-21}, howpublished = {Presentation at CGTA-2023, Kefermarkt, Austria}, Month = {6}, Year = {2023}, url = {https://www.researchgate.net/publication/371753305_Topology_of_Quartic_Loci_Resulted_From_Lines_Passing_through_a_Fixed_Point_and_a_Conic} } @InProceedings{CGTA2023, Title = {Topology of Quartic Loci Resulted From Lines Passing through a Fixed Point and a Conic}, Author = {Dana-Picard, Thierry and Kov{\'a}cs, Zolt{\'a}n and Yang, Wei-Chi}, booktitle = {Conference on Geometry: Theory and Applications, Book of Abstracts}, year = {2023}, editor = {Bert J\"uttler and Hans-Peter Schr\"ocker and Ivan Izmestiev}, publisher = {JKU Linz, Austria}, month = Jun, pages = {41} } @Article{neverproved, title = {The ``never-proved'' triangle inequality: A GeoGebra \& CAS approach}, journal = {AIMS Mathematics}, volume = {8}, number = {10}, pages = {22593-22642}, year = {2023}, issn = {2473-6988}, doi = {10.3934/math.20231151}, ourl = {https://www.aimspress.com/article/doi/10.3934/math.20231151}, author = {Zolt\'an Kov\'acs and Tom\'as Recio and Carlos Ueno and R\'obert Vajda}, keywords = {triangle inequality, elementary geometry, automated reasoning, dynamic geometry, computer algebra systems, inscribed triangle}, } @Misc{ACA2023-pres, Title = {{G}eo{G}ebra {A}utomated {R}easoning {T}ools: why and how (to use them in the classroom)}, Author = {Zolt\'an Kov\'acs and Tom\'as Recio and M. Pilar V\'elez}, HowPublished = {Presentation at ACA-28, Warsaw, Poland}, Month = {7}, Year = {2023}, date = {2023-07-18} } @InProceedings{ACA2023, Title = {{G}eo{G}ebra {A}utomated {R}easoning {T}ools: why and how (to use them in the classroom)}, Author = {Zolt\'an Kov\'acs and Tom\'as Recio and M. Pilar V\'elez}, Booktitle = {The 28nd International Conference on Applications of Computer Algebra ACA'2023, Program \& Abstracts}, Year = {2023}, Month = {7}, Note = {\url{https://iit.sggw.edu.pl/wp-content/uploads/sites/18/2023/07/ACA2023_Program_Abstracts-1.pdf?x58870}} } @inproceedings{sc2-2023, author = {Christopher W. Brown and Zolt\'an Kov\'acs and Simone Luksch and Tom\'as Recio and R\'obert Vajda and M. Pilar V\'elez}, title = {Towards Detection of Partial Truth via Real Geometry}, year = {2023}, date = {28 July 2023}, month = {7}, url = {https://ceur-ws.org/Vol-3455/short2.pdf}, booktitle = {Proceedings of the 8th International Workshop on Satisfiability Checking and Symbolic Computation, July 28, 2023, Troms\o, Norway, Collocated with ISSAC 2023}, editor = {Erika \'Abrah\'am and Thomas Sturm}, venue = {Troms\o, Norway}, series = {CEUR Workshop Proceedings}, volume = {3455}, publisher = {RWTH Aachen, Germany}, issn = {1613-0073} } @Misc{sc2-2023-pres, Title = {Towards Detection of Partial Truth via Real Geometry}, Author = {Christopher W. Brown and Zolt\'an Kov\'acs and Simone Luksch and Tom\'as Recio and R\'obert Vajda and M. Pilar V\'elez}, HowPublished = {Presentation at SC${}^2$-8, Troms\o, Norway}, Month = {7}, Year = {2023}, date = {2023-07-28} } @InProceedings{LNCS14101-cicm, author = {Christopher W. Brown and Zolt\'an Kov\'acs and Tom\'as Recio and R\'obert Vajda and M. Pilar V\'elez}, title = {GeoGebra Discovery (system entry)}, booktitle = {Intelligent Computer Mathematics}, year = {2023}, editor = {Catherine Dubois and Manfred Kerber}, eventtitleaddon = {16th International Conference, CICM 2023, Cambridge, UK, September 5--8, 2023 Proceedings}, venue = {Cambridge, UK}, volume = {14101}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer Cham}, month = 8, isbn = {978-3-031-42752-7}, pages = {324}, date = {2023-08-31}, doi = {10.1007/978-3-031-42753-4}, } @Misc{cicm-2023-pres, Title = {GeoGebra Discovery (system entry)}, Author = {Christopher W. Brown and Zolt\'an Kov\'acs and Tom\'as Recio and R\'obert Vajda and M. Pilar V\'elez}, HowPublished = {Presentation at CICM-16, Cambridge, UK}, Month = {9}, Year = {2023}, date = {2023-09-07} } @article{10.1145/3614408.3614413, author = {Brown, Christopher and Kov\'{a}cs, Zolt\'{a}n and Recio, Tom\'{a}s}, title = {Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition}, year = {2023}, issue_date = {June 2023}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {57}, number = {2}, issn = {1932-2240}, ourl = {https://doi.org/10.1145/3614408.3614413}, doi = {10.1145/3614408.3614413}, abstract = {We present some current improvements, implemented in the software package GeoGebra Discovery, that combine symbolic computation and graphics algorithms to faithfully visualize (semi-)algebraic expressions. Our implementation allows fluid animation of set of (semi-)algebraic sets of dimension 1 in a desktop application or a web browser. We use the Tarski library to create a cylindrical algebraic decomposition of the input, and its plot2d command, which is processed further in GeoGebra Discovery, to provide the user with a familiar look and feel.}, journal = {ACM Commun. Comput. Algebra}, month = {aug}, pages = {43–46}, numpages = {4} } @article{MapleTransactions2023, author = {Thierry Dana-Picard and Zolt\'an Kov\'acs}, title = {Dynamic and automated constructions of plane curves}, journal = {Maple Transactions}, volume = 3, number = 3, issn = {2564-3029}, doi = {10.5206/mt.v3i3.15082}, year = 2023 } @article{AMAI-SI2023, author = {Kov\'acs, Zolt\'an and Jani\v{c}i\'c, Predrag}, title={Formalization of geometry, automated and interactive geometric reasoning}, journal={Annals of Mathematics and Artificial Intelligence}, volume=91, issue=6, pages={751-752}, year=2023, doi={10.1007/s10472-023-09909-3} } @misc{nj80-pres, title={A deriv\'alt epszilon-delt\'as form\'alis defin\'\i ci\'oj\'ar\'ol -- sz\'am\'\i t\'og\'eppel}, author={Kov\'acs, Zolt\'an and \'Eli\'as, Judit}, HowPublished = {Presentation at NJ80: Szimp\'ozium az elm\'ult \'evek anal\'\i zis-tan\'\i t\'asi m\'odszereir\H{o}l}, Month = {11}, Year = {2023}, date = {2023-11-18}, doi = {10.13140/RG.2.2.15097.44646} } @Misc{adg23-attic, Title = {Open Source Prover in the Attic}, Author = {Amela Hota and Zolt\'an Kov\'acs and Alexander Vujic}, HowPublished = {Presentation at ADG-14, Belgrade, Serbia}, Month = {9}, Year = {2023}, Date = {September 20, 2023}, doi = {10.13140/RG.2.2.26764.49288} } @Misc{adg23-olympiad, Title = {Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: lessons learned}, Author = {Kov\'acs, Zolt\'an and Recio, Tom\'as and Ari\~no, Bel\'en and Tolmos, Piedad}, HowPublished = {Presentation at ADG-14, Belgrade, Serbia}, Month = {9}, Year = {2023}, Date = {September 20, 2023}, doi = {10.13140/RG.2.2.11752.65289} } @Misc{adg23-showproof, Title = {Showing proofs, assessing difficulty with GeoGebra Discovery}, Author = {Zolt\'an Kov\'acs and Tom\'as Recio and M. Pilar V\'elez}, HowPublished = {Presentation at ADG-14, Belgrade, Serbia}, Month = {9}, Year = {2023}, Date = {September 20, 2023}, doi = {10.13140/RG.2.2.31885.31205} } @Misc{adg23-naboj, Title = {Solving some geometry problems of the N\'aboj 2023 contest with automated deduction in GeoGebra Discovery}, Author = {Amela Hota and Zolt\'an Kov\'acs and Alexander Vujic}, HowPublished = {Presentation at ADG-14, Belgrade, Serbia}, Month = {9}, Year = {2023}, Date = {September 20, 2023}, doi = {10.13140/RG.2.2.33475.37923} } @Misc{adg23-jgex, Title = {Using Java Geometry Expert as guide in the preparations for math contests}, Author = {Ines Ganglmayr and Zolt\'an Kov\'acs}, HowPublished = {Presentation at ADG-14, Belgrade, Serbia}, Month = {9}, Year = {2023}, Date = {September 20, 2023}, doi = {10.13140/RG.2.2.35913.31849} } @Misc{adg23-camel, Title = {The locus story of a rocking camel in a medical center in the city of Freistadt}, Author = {Eva Erhart and Anna K\"aferb\"ock and Zolt\'an Kov\'acs and Engelbert Zeintl}, HowPublished = {Presentation at ADG-14, Belgrade, Serbia}, Month = {9}, Year = {2023}, Date = {September 20, 2023}, doi = {10.13140/RG.2.2.30880.15362} } @Article{ejmt-caustics, author = {Kov\'acs, Zolt\'an}, title = {Easy (but exact) study of caustics of conics}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2023}, volume = {17}, number = {3}, pages = {185-205}, } @Misc{chuching2006, Title = {Open Resources for Mathematical Education}, Author = {Chu-Ching Huang and Zolt\'an Kov\'acs}, HowPublished = {Presentation at Mathematical Meeting and Annual Meeting of the Mathematical Society, Department of Mathematics, National Taiwan Normal University, 2006, Taipei}, Month = {12}, Year = {2006}, Date = {December 8--10, 2006}, } @Inproceedings{EPTCS398.8, author = {Kov\'acs, Zolt\'an and Recio, Tom\'as and V\'elez, M. Pilar}, year = {2024}, title = {Showing Proofs, Assessing Difficulty with {G}eo{G}ebra {D}iscovery}, editor = {Quaresma, Pedro and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automated Deduction in Geometry, {\rm Belgrade, Serbia, 20-22th September 2023}}, address = {Waterloo}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {398}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {43-52}, doi = {10.4204/EPTCS.398.8}, } @Inproceedings{EPTCS398.9, author = {Kov\'acs, Zolt\'an and Vujic, Alexander}, year = {2024}, title = {Open Source Prover in the Attic}, editor = {Quaresma, Pedro and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automated Deduction in Geometry, {\rm Belgrade, Serbia, 20-22th September 2023}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {398}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {53-61}, doi = {10.4204/EPTCS.398.9}, } @Inproceedings{EPTCS398.13, author = {Ari\~no-Morera, Bel\'en and Kov\'acs, Zolt\'an and Recio, Tom\'as and Tolmos, Piedad}, year = {2024}, title = {Solving with {G}eo{G}ebra {D}iscovery an {A}ustrian Mathematics Olympiad problem: Lessons Learned}, editor = {Quaresma, Pedro and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automated Deduction in Geometry, {\rm Belgrade, Serbia, 20-22th September 2023}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {398}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {101-109}, doi = {10.4204/EPTCS.398.13}, } @Inproceedings{EPTCS398.14, author = {Hota, Amela and Kov\'acs, Zolt\'an and Vujic, Alexander}, year = {2024}, title = {Solving Some Geometry Problems of the N\'aboj 2023 Contest with Automated Deduction in GeoGebra Discovery}, editor = {Quaresma, Pedro and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automated Deduction in Geometry, {\rm Belgrade, Serbia, 20-22th September 2023}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {398}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {110-123}, doi = {10.4204/EPTCS.398.14}, } @Inproceedings{EPTCS398.15, author = {Ganglmayr, Ines and Kov\'acs, Zolt\'an}, year = {2024}, title = {Using Java Geometry Expert as Guide in the Preparations for Math Contests}, editor = {Quaresma, Pedro and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automated Deduction in Geometry, {\rm Belgrade, Serbia, 20-22th September 2023}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {398}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {124-131}, doi = {10.4204/EPTCS.398.15}, } @Inproceedings{EPTCS398.16, author = {K\"aferb\"ock, Anna and Kov\'acs, Zolt\'an}, year = {2024}, title = {The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt}, editor = {Quaresma, Pedro and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automated Deduction in Geometry, {\rm Belgrade, Serbia, 20-22th September 2023}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {398}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {132-141}, doi = {10.4204/EPTCS.398.16}, } @Inproceedings{EPTCS398.0, author = {Quaresma, Pedro and Kov\'acs, Zolt\'an}, year = {2024}, title = {Preface}, editor = {Quaresma, Pedro and Kov\'acs, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automated Deduction in Geometry, {\rm Belgrade, Serbia, 20-22th September 2023}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {398}, publisher = {Open Publishing Association}, address = {Waterloo}, pages = {3-5}, doi = {10.4204/EPTCS.398.0}, } @misc{mobius, title={Ortaokul Matemati\u{g}inde Ka\c{c}\i\c{s} Zaman\i{} Fraktallar\i}, author={Kov\'acs, Zolt\'an}, HowPublished = {Presentation at M\"OB\.{I}US Semineri (\c{C}evrimi\c{c}i)}, Month = {1}, Year = {2024}, date = {2024-01-18}, doi = {10.13140/RG.2.2.18843.23845} } @InProceedings{ACA2024, Title = {Estrella Solitaria in offset curves}, Author = {Noah Dana-Picard and Zolt\'an Kov\'acs}, Booktitle = {The 29nd International Conference on Applications of Computer Algebra ACA'2024, Program \& Abstracts}, Year = {2024}, Month = {6}, Note = {\url{https://www.math.unm.edu/~aca/ACA/2024/Education/Dana-Picard.pdf}} } @Article{rjmt-caustics, author = {Kov\'acs, Zolt\'an}, title = {Easy (but exact) study of caustics of conics}, journal = {Research Journal of Mathematics \& Technology}, year = {2024}, volume = {13}, number = {1}, pages = {39-59} } @InProceedings{scsc-2024, author = {Zolt\'an Kov\'acs and Reinhard Oldenburg}, title = {A Technological Approach to Teaching Inequalities, Propositional and Predicate Logic}, booktitle = {9th International Workshop on Satisfiability Checking and Symbolic Computation, July 2, 2024, Nancy, France, Collocated with IJCAR 2024}, year = {2024}, date = {2024-07-02}, editor = {Chris Brown and Daniela Kaufmann and Cl\'audia Nalon and Alexander Steen and Martin Suda}, volumes = {3717}, month = {7}, pages = {122-131}, eprint = {http://ceur-ws.org/Vol-3717/paper7.pdf}, issn = {1613-0073}, journal = {CEUR Workshop Proceedings}, } @Misc{ACA2024-talk, author = {Thierry Dana-Picard and Zolt\'an Kov\'acs}, title = {Estrella Solitaria in offset curves}, year = {2024}, date = {June 25, 2024}, howpublished = {Presentation at ACA-29, Havana, Cuba}, month = {6}, ourl = {https://www.researchgate.net/publication/381741856_Estrella_Solitaria_in_offset_curves}, doi = {10.13140/RG.2.2.36667.84006} } @Misc{thedu2024-1, author = {Saksham Attri and Kov{\'a}cs, Zolt{\'a}n and Aaron Windischbauer}, title = {GNU Aris: a web application for students}, year = {2024}, date = {2024-07-02}, howpublished = {Presentation at ThEdu Conference, Nancy, France}, month = {7}, ourl = {https://www.researchgate.net/publication/381922560_GNU_Aris_a_web_application_for_students}, doi = {10.13140/RG.2.2.36048.52486} } @Misc{icmet-2, author = {Michael Borcherds and Florian Derflinger and Zolt\'an Kov\'acs and Ben North}, title = {{P}y{G}gb -- A web app for combining GeoGebra and Python}, year = {2024}, date = {2024-06-21}, howpublished = {Presentation at ICMET, Aveiro, Portugal}, month = {6}, ourl = {https://www.researchgate.net/publication/381614937_PyGgb_-_A_web_app_for_combining_GeoGebra_and_Python}, doi = {10.13140/RG.2.2.29819.32804} } @Misc{icmet-1, author = {Thierry Dana-Picard and Eva Ulbrich and Zolt\'an Kov\'acs and Zsolt Lavicza}, title = {From string art to 3D printing via mathematical models}, year = {2024}, date = {2024-06-19}, howpublished = {Presentation at ICMET, Aveiro, Portugal}, month = {6}, ourl = {https://www.researchgate.net/publication/381544892_From_string_art_to_3D_printing_via_mathematical_models}, doi = {10.13140/RG.2.2.29069.76007} } @Misc{ISSAC2024-pres, Title = {\texttt{ShowProof} in \textit{GeoGebra Discovery}: Automated ranking of elementary geometry theorems}, Author = {Kov\'{a}cs, Zolt\'{a}n and Parisse, Bernard and Recio, Tom\'{a}s and V\'elez, M.~Pilar and Yu, Jonathan H.}, HowPublished = {Presentation at ISSAC-49, Raleigh, NC, USA}, Month = {7}, Year = {2024}, Date = {16-19 July, 2024}, } @Article{showproof-ISSAC2024, Title = {The \texttt{ShowProof} command in \textit{{G}eo{G}ebra {D}iscovery}: Towards the automated ranking of elementary geometry theorems}, Author = {Kov\'{a}cs, Zolt\'{a}n and Parisse, Bernard and Recio, Tom\'{a}s and V\'elez, M. Pilar and Yu, Jonathan H.}, Journal = {ACM Commun. Comput. Algebra}, Year = {2024}, Month = {6}, Number = {2}, Pages = {27--30}, Volume = {58}, ISSN = {1932-2240}, Issue_date = {June 2024}, Numpages = {4}, Publisher = {ACM}, doi = {10.1145/3712023.3712026} } @article{amai2024, author={Kov\'acs, Zolt\'an and Recio, Tom\'as and V\'elez, M.P.}, title={On automated completion of geometry statements and proofs with GeoGebra Discovery}, journal={Annals of Mathematics and Artificial Intelligence}, year=2024, doi={10.1007/s10472-024-09964-4} } @Article{PD2024, author = {Zolt\'an Kov\'acs}, title = {Egy nemtrivi\'alis geometriai t\'etel nemtrivi\'alis sz\'am\'\i t\'og\'epes bizony\'\i t\'asa}, journal = {Polygon}, year = {2024}, volume = {XXVII}, number = {1}, pages = {70-90} } @Article{analemma, author = {Yang, Wei-Chi and Kov\'acs, Zolt\'an and Dana-Picard, Thierry}, title = {Topology of Quartic Loci in 2D and 3D Inspired by A College Entrance Exam}, journal = {The Electronic Journal of Mathematics and Technology}, issn = {1933-2823}, year = {2025}, volume = {19}, number = {1}, pages = {1--14}, url = {https://ejmt.mathandtech.org/Contents/eJMT_v19n1p1.pdf}, } @Article{pyggb-IJMEST, author = {Michael Borcherds and Florian Derflinger and Zolt\'an Kov\'acs and Ben North}, title = {Teaching programming through mathematics: the {P}y{G}gb platform}, doi = {10.1080/0020739X.2025.2491614}, journal = {International Journal of Mathematical Education in Science and Technology}, pages = {1--16}, year = {2025}, publisher = {Taylor \& Francis}, } @misc{kerekes-kovacs, note={Presentation at I Workshop IAxEM, 20 February 2025, Universidad Nebrija, Madrid}, author={Andr\'as Kerekes and Zolt\'an Kov\'acs}, title={Java {G}eometry {E}xpert: Visualizing proofs as a directed acyclic graph}, year=2025, month={Feb} } @article{amai2025, author={Soma Bartha and Andr\'as Kerekes and Kov\'acs, Zolt\'an and Recio, Tom\'as}, title={Automated analysis of the difficulty of secondary school geometry theorems}, journal={Annals of Mathematics and Artificial Intelligence}, year=2025, doi={10.1007/s10472-025-09983-9}, issn={1573-7470} } @InProceedings{aris_thedu24, author = {Attri, Saksham and Kov\'acs, Zolt\'an and Windischbauer, Aaron}, title = {GNU Aris: a web application for students}, booktitle = {Proceedings ThEdu'24}, year = {2025}, editor = {Julien Narboux and Walther Neuper and Pedro Quaresma}, volume = {419}, publisher = {Open Publishing Association}, address = {Waterloo}, month = {May}, pages = {42-54}, doi = {10.4204/EPTCS.419.3}, issn = {2075-2180}, journal = {Electronic Proceedings in Theoretical Computer Science} } @article{amai2025-fw, author={Kov\'acs, Zolt\'an and Quaresma, Pedro}, title={Foreword: special issue on formalisation of geometry, automated and interactive geometric reasoning}, journal={Annals of Mathematics and Artificial Intelligence}, year=2025, doi={10.1007/s10472-025-09992-8}, issn={1573-7470} } @Article{heptagon-jar, Title = {A simple proof of correctness of folding the regular heptagon}, Author = {Kov\'acs, Zolt\'an}, Journal = {Journal of Automated Reasoning}, Year = {2025}, Pages = {27}, Volume = {69}, Doi = {10.1007/s10817-025-09740-x}, ISSN = {0168-7433}, Language = {English}, Publisher = {Springer} } @misc{erdos-arxiv, title={A note on Erd\H{o}s's mysterious remark}, author={Zoltán Kovács}, year={2024}, eprint={2412.05190}, archivePrefix={arXiv}, primaryClass={cs.CG}, url={https://arxiv.org/abs/2412.05190}, } @article{MapleTransactions2026, author = {Andr\'as Kerekes and Zolt\'an Kov\'acs}, title = {Towards automatic detection of geometric difficulty of geometry problems}, journal = {Maple Transactions}, issn = {2564-3029}, year = 2026, month = {Feb}, volume=6, number=1, pages={23585}, doi={10.5206/mt.v6i1.23585} } @article{erdos-amai, title={A note on Erd\H{o}s's mysterious remark}, author={Zolt\'an Kov\'acs}, year={2026}, doi={10.1007/s10472-025-09998-2}, journal={Annals of Mathematics and Artificial Intelligence}, issn={1573-7470} } @article{bibref-jscs, title={A Computer-Based Framework to Analyze Quotations from the Septuagint}, author={Zolt\'an Kov\'acs}, year={2025}, doi={10.2143/JSCS.58.0.3295609}, journal={Journal of Septuagint and Cognate Studies}, issn={2325-4793} } @misc{son2026soohakmathematiciancuratedbenchmarkevaluating, title={Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs}, author={Guijin Son and Seungone Kim and Catherine Arnett and Hyunwoo Ko and Hyein Lee and Hyeonah Kang and Jiang Longxi and Jin Yun and JungYup Lee and Kyungmin Lee and Sam Yoosuk Kim and Sang Park and Seunghyeok Hong and SeungJae Lee and Seungyeop Yi and Shinae Shin and SunHye Bok and Sunyoung Shin and Yonghoon Ji and Youngtaek Kim and Hanearl Jung and Akari Asai and Graham Neubig and Sean Welleck and Youngjae Yu and Akshelin R and Alexander B. Ivanov and Boboev Muhammadjon and Chaeyoung Han and Christian Stump and Dmitrii Karp and Dohyun Kwon and DoYong Kwon and Duk-Soon Oh and Giovanni Resta and Greta Panova and Huiyun Noh and Hyungryul Baik and Hyungsun Bae and Inomov Mashrafdzhon and Jeewon Kim and Ji Eun Lee and Jiaqi Liu and Jieui Kang and Jimin Kim and Jon-Lark Kim and Junseo Yoon and Junwoo Jo and Kibeom Kim and Kiwoon Kwon and Mario Kummer and Max Mercer and Minjun Kim and Nahyun Lee and Ng Ze-An and Rafał Marcin Łochowski and Raphaël Lachièze-Rey and Ruichen Zhang and Sejin Park and Seonguk Seo and Shin Jaehoon and Sunatullo and Taewoong Eom and Yeachan Park and Yongseok Jang and Youchan Oh and Zhaoyang Wang and Zoltán Kovács}, year={2026}, eprint={2605.09063}, archivePrefix={arXiv}, primaryClass={cs.CL}, url={https://arxiv.org/abs/2605.09063}, } @inproceedings{scml2026, author={Kov\'acs, Zolt\'an and Recio, Tom\'as and Tolmos, Piedad and V\'elez, M. Pilar}, year=2026, title={Comparing human perception, computer-algebra, and generative AI approaches for ranking elementary geometry statements}, editor={Bruno Buchberger and François Charton and Matthew England and Cezary Kaliszyk and Manuel Kauers and Hiroshi Kera and Temur Kutsia and Bernhard Moser and Markus Schedl and Wolfgang Schreiner and Martina Seidl and Wolfgang Windsteiger}, booktitle={SCML-2026: International Conference on Symbolic Computation and Machine Learning –- Extended Abstracts}, pages={56-57}, note={RISC Proceedings on Symbolic Computation and Machine Learning, 3}, date={2026-06-17}, doi={10.35011/risc-proceedings-scml.3} } @Comment{jabref-meta: databaseType:biblatex;}