7 citations · 37 across the 16 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2021★ 1 cited
Proceedings of the 13th International Conference on Automated Deduction in Geometry
Predrag Janičić, Zoltán Kovács
Automated Deduction in Geometry (ADG) is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection betwee…
cs.AI2018★ 1 cited
Detecting truth, just on parts
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some rel…
cs.AI2016★ 4 cited
GeoGebra Tools with Proof Capabilities
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…