Automated reasoning tools in GeoGebra discovery

DOI10.1145/3493492.3493495OpenAlexW3209965312MaRDI QIDQ5102014FDOQ5102014

Authors: Zoltán Kovács, Tomas Recio, M. Pilar Vélez 

Publication date: 6 September 2022

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3493492.3493495

Recommendations

• Development of automatic reasoning tools in GeoGebra
• Towards the Automatic Discovery of Theorems in GeoGebra
• A mechanical geometer
• Towards an Automated Geometer
• The relation tool in GeoGebra 5

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (5)

• Detecting truth, just on parts
• Towards the Automatic Discovery of Theorems in GeoGebra
• Computing with Tarski formulas and semi-algebraic sets in a web browser
• Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}
• Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition

This page was built for publication: Automated reasoning tools in GeoGebra discovery

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5102014)