Search Results for author: Csilla Sólyom-Gecse

Found 1 papers, 0 papers with code

GeoGebra Tools with Proof Capabilities

no code implementations • 3 Mar 2016 • Zoltán Kovács, Csilla Sólyom-Gecse

We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities.

Automated Theorem Proving Benchmarking

Paper
Add Code

Cannot find the paper you are looking for? You can Submit a new open access paper.