Picture for Zoltán Kovács

Zoltán Kovács

The Private University College of Education of the Diocese of Linz, Austria

Using Java Geometry Expert as Guide in the Preparations for Math Contests

Add code
Jan 22, 2024
Viaarxiv icon

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt

Add code
Jan 22, 2024
Figure 1 for The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Figure 2 for The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Figure 3 for The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Figure 4 for The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Viaarxiv icon

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

Add code
Jan 22, 2024
Viaarxiv icon

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

Add code
Jan 22, 2024
Viaarxiv icon

Showing Proofs, Assessing Difficulty with GeoGebra Discovery

Add code
Jan 22, 2024
Figure 1 for Showing Proofs, Assessing Difficulty with GeoGebra Discovery
Figure 2 for Showing Proofs, Assessing Difficulty with GeoGebra Discovery
Figure 3 for Showing Proofs, Assessing Difficulty with GeoGebra Discovery
Viaarxiv icon

Proceedings 14th International Conference on Automated Deduction in Geometry

Add code
Jan 19, 2024
Viaarxiv icon

Proceedings of the 13th International Conference on Automated Deduction in Geometry

Add code
Dec 28, 2021
Viaarxiv icon

Towards Automated Discovery of Geometrical Theorems in GeoGebra

Add code
Jul 24, 2020
Figure 1 for Towards Automated Discovery of Geometrical Theorems in GeoGebra
Figure 2 for Towards Automated Discovery of Geometrical Theorems in GeoGebra
Figure 3 for Towards Automated Discovery of Geometrical Theorems in GeoGebra
Figure 4 for Towards Automated Discovery of Geometrical Theorems in GeoGebra
Viaarxiv icon

Towards a Geometry Automated Provers Competition

Add code
Feb 28, 2020
Viaarxiv icon

Detecting truth, just on parts

Add code
Mar 26, 2018
Figure 1 for Detecting truth, just on parts
Figure 2 for Detecting truth, just on parts
Figure 3 for Detecting truth, just on parts
Figure 4 for Detecting truth, just on parts
Viaarxiv icon