Path
Home
News
The Centre
Research Groups
People
Projects
Publications
Tech Reports
Open Positions
Events
How to get to CISUC
Member Access
Computer-generated Geometry Proofs in a Learning Context
Authors
Pedro Quaresma
Vanda Alexandre Marques dos Santos
Keywords
Automated deduction in Geometry
Book Chapter
Proof Technology in Research and Teaching, 10, pp. 237-253, Springer 2019
Cited by
No citations found
