Key points are not available for this paper at this time.
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.
Quaresma et al. (Wed,) studied this question.