

Software
 Epsilon (by D. Wang)
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 allow one to
 triangularize systems of multivariate (differential) polynomials;
 decompose polynomial systems into triangular systems of various kinds (regular, normal, simple, irreducible, or with projection property);
 decompose algebraic varieties into irreducible or unmixed subvarieties;
 decompose polynomial ideals into primary components;
 factorize polynomials over algebraic extension fields;
 solve systems of polynomial equations and inequations, and
 handle and prove geometric theorems automatically.
 Gool (by T. Liang and D. Wang)
Gool is a system for symbolic geometric computation, reasoning, and visualization. It has the following capabilities:
 Symbolic geometric objects may be constructed and represented with certain or uncertain data;
 Constructed objects may be modified (e.g., by changing parametric values and adding or removing assumptions);
 Basic geometric operations and calculations with constructed objects may be performed efficiently and correctly;
 Relations among different geometric objects can be declared and their consistency may be efficiently checked;
 Geometric statements are formulated with simple syntax so that reasoning can be performed with advanced techniques;
 Symbolic geometric objects can be visualized and displayed, and dynamic diagrams can be generated automatically;
 Geometric knowledge can be represented and managed, allowing indexing and searching;
 Geometric uncertainty and degeneracy are handled systematically and efficiently.
 EGT System (by X. Chen and D. Wang)
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:
 Organize geometric knowledge in the database as a normal textbook in traditional style according to a proper order and generate printable documents automatically;
 Translate the formalized knowledge in the textbook into different natural languages (like Chinese and English) automatically;
 Check the consistency automatically when the textbook is modified;
 Interact with other software modules and process the geometric knowledge in the system (computing and reasoning with geometric constraints, generating geometric diagrams, and visualizing geometric objects, etc.);
 Retrieve the results produced by different modules and integrate them into the knowledge base automatically to realize selflearning.
