Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery

摘要

The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We describe a program, in the application domain of geometric discovery, which supports this claim. When interfacing a standard dynamic geometry environment and Mathematica, we enhance the educational uses of geometric problem solving environments through the symbolic capabilities of computer algebra software.