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

Amela Hota, Zoltán Kovács, Alexander Vujic
1/22/2024
math.HOcs.AIcs.CG

No confident code implementation found for this paper. 3 possible matches can be shown below.

Abstract

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 3 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Newclid: A User-Friendly Replacement for AlphaGeometry

81% match1 repo942024

LeanGeo: Formalizing Competitional Geometry problems in Lean

80% match1 repo432025

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems

80% match2024

Proposing and solving olympiad geometry with guided tree search

80% match2024

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development

79% match2025

Geo-LLaVA: A Large Multi-Modal Model for Solving Geometry Math Problems with Meta In-Context Learning

79% match2024

Cite this paper

@article{hota2024solving,
  title  = {Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery},
  author = {Amela Hota and Zoltán Kovács and Alexander Vujic},
  year   = {2024},
  eprint = {2401.13703},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2401.13703v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2401.13703.svg)](https://codeofpaper.com/paper/2401.13703)

Discussion