Automated reasoning tools in GeoGebra discovery

DOI10.1145/3493492.3493495OpenAlexW3209965312MaRDI QIDQ5102014

Zoltán Kovács, M. Pilar Vélez, Tomás Recio

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)

Related Items (3)

Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} ⋮ Detecting truth, just on parts ⋮ Computing with Tarski formulas and semi-algebraic sets in a web browser

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