Computer-Generated Geometry Proofs in a Learning Context (original) (raw)

This chapter explores the integration of dynamic geometry systems (DGSs) and geometry automated theorem provers (GATPs) in the teaching and learning of geometry. It discusses how these technologies support students' exploration and understanding of geometric proofs, emphasizing the role of visual proofs and the necessity of formal proofs in mathematics. By tracing the evolution of these tools, the chapter aims to illustrate their educational applicability and the balance between exploration and rigorous proof.