Epsilon is a library of functions implemented in Maple and Java for polynomial elimination and decomposition with (geometric) applications. It has 8 modules and contains more than 70 functions, which allows one to :
Gool is a system for symbolic geometric computation, reasoning, and visualization. It has the following capabilities:
The Electronic Geometry Textbook (EGT) is a dynamic software system integrating geometric knowledge and software modules developed for geometric computing and reasoning, diagram generation, and visualization in a single context of knowledge management environment to support geometry education, research, and application. The EGT system can: