Deciding geometric properties symbolically in GeoGebra
EstadísticasView Usage Statistics
Full recordShow full item record
It is well known that Dynamic Geometry (DGS) software systems can be useful tools in the teaching/learning of
reasoning and proof. GeoGebra 5.0 was recently extended by an Automated Theorem Prover (ATP) subsystem that is able to compute proofs of Euclidean geometry statements. Free availability and portability of GeoGebra has made it possible to harness these novel techniques on tablets, smartphones and computers. Then, we think it is urgently necessary to address the new challenges posed by the availability of geometric ATP?s to millions of students worldwide.
Collections to which it belong
- D21 Artículos