Solving Some Geometry Problems of the N\'aboj 2023 Contest with Automated Deduction in GeoGebra Discovery
History and Overview
2024-01-26 v1 Artificial Intelligence
Computational Geometry
Symbolic Computation
Abstract
In this article, we solve some of the geometry problems of the N\'aboj 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.
Keywords
Cite
@article{arxiv.2401.13703,
title = {Solving Some Geometry Problems of the N\'aboj 2023 Contest with Automated Deduction in GeoGebra Discovery},
author = {Amela Hota and Zoltán Kovács and Alexander Vujic},
journal= {arXiv preprint arXiv:2401.13703},
year = {2024}
}
Comments
In Proceedings ADG 2023, arXiv:2401.10725