Geometry Expert (GEX) is a powerful computer program for geometric reasoning. Its basic engine is based on the Area Method, the Vector Method, the Full-Angle Method (3), and the Fixpoint Method (4). GEX has been used to produce short (sometimes even shorter than those given by geometry experts) and elegant proofs for hundreds of geometry theorems. For a list of theorems proved by GEX, see (3). GEX also implements two algebraic methdos based on the coordinate approach: Wu's Mehtod (7,1) and the Groebner Basis Method (1,5,6).
展开▼
