Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For?
Crossref DOI link: https://doi.org/10.1007/978-3-030-86909-0_2
Published Online: 2022-03-10
Published Print: 2022
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kovács, Zoltán
Recio, Tomás
Vélez, M. Pilar
Text and Data Mining valid from 2022-01-01
Version of Record valid from 2022-01-01
Chapter History
First Online: 10 March 2022