Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery

Amela Hota
(The Private University College of Education of the Diocese of Linz, Austria) 		Zoltán Kovács
(The Private University College of Education of the Diocese of Linz, Austria) 		Alexander Vujic
(The Private University College of Education of the Diocese of Linz, Austria)

In this article, we solve some of the geometry problems of the Náboj 2023 competition with the help of a computer, using examples that the software tool GeoGebra Discovery can calculate. In each case, the calculation requires symbolic computations. We analyze the difficulty of feeding the problem into the machine and set further goals to make the problems of this type of contests even more tractable in the future.

In Pedro Quaresma and Zoltán Kovács: Proceedings 14th International Conference on Automated Deduction in Geometry (ADG 2023), Belgrade, Serbia, 20-22th September 2023, Electronic Proceedings in Theoretical Computer Science 398, pp. 110–123.
Published: 22nd January 2024.
ArXived at: https://dx.doi.org/10.4204/EPTCS.398.14 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org