Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866929223196737536 |
|---|---|
| author | Hota, Amela Kovács, Zoltán Vujic, Alexander |
| author_facet | Hota, Amela Kovács, Zoltán Vujic, Alexander |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_13703 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery Hota, Amela Kovács, Zoltán Vujic, Alexander History and Overview Artificial Intelligence Computational Geometry Symbolic Computation 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. |
| title | Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery |
| topic | History and Overview Artificial Intelligence Computational Geometry Symbolic Computation |
| url | https://arxiv.org/abs/2401.13703 |