most citedOpen Source Prover in the Attic

2 citations · 3 across the 8 of their papers we have counts for

collaborators
Showing math.HOShow all

1 paper · 1 filter

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…