Abstract
Due to its formal, logical and spatial properties, geometry is well suited for the exploration of new knowledge, new properties that arise from different constructions and new insights into already known constructions, to the exploration of proofs of new conjectures, to the exploration of new proofs of known theorems. With a Dynamic Geometry System (DGS) we get an environment where new conjectures can be easily formulated and visually verified (but not proven). With a Geometry Automated–Theorem–Prover (GATP) we get an environment where conjectures/theorems can be formally proved. We explore some environments where DGS and GATP are combined, analysing their possibilities for the exploration of new conjectures and proofs, having in mind their use in a learning situation.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call