2 citations · 2 across the 2 of their papers we have counts for
2 papers
math.HO2024
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
Amela Hota, Zoltán Kovács, Alexander Vujic
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 calc…
cs.PL2024★ 2 cited
Open Source Prover in the Attic
Zoltán Kovács, Alexander Vujic
The well known JGEX program became open source a few years ago, but seemingly, further development of the program can only be done without the original authors. In our project, we…