My students and I found Geometry Expressions very useful, and easy to use. The Geometry Civilized class enjoyed features that allowed them to make analytic representations of plane geometry theorems, and students in my Modern Geometry class also had fun checking out a variety of conjectures. Next time I teach Algebraic Geometry I will make sure that my students try to get access so they can get a feeling for the work we do in automated geometric theorem proving.




Download Link :