4 citations · 4 across the 1 of their papers we have counts for
1 paper
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 extensio…