Automated reasoning tools in GeoGebra discovery

DOI10.1145/3493492.3493495MaRDI QIDQ5102014zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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

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)