Computer-Generated Geometry Proofs in a Learning Context
Crossref DOI link: https://doi.org/10.1007/978-3-030-28483-1_11
Published Online: 2019-10-02
Published Print: 2019
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Quaresma, Pedro
Santos, Vanda
Text and Data Mining valid from 2019-01-01
Chapter History
First Online: 2 October 2019