GEOTHER (acronym for GEOmetry THeorem provER) is a package implemented in Maple for manipulating and proving geometric theorems. Its kernel consists of six algebraic provers based on the methods of characteristic sets and Groebner bases and an elimination method proposed by the author. GeOTHER has several new features in comparison with other geometry theorem provers (2) developed on the basis of algebraic approaches (see (3) for a comprehensive list of references). In addition to maintaining environment flexibility, high automation is achieved in our package to increase its usability and geometric attraction via transaltion drawing and graphic interface. The provers are practically efficient: a number of difficult theorems including Morely's trisector theorem, Thebault's recently confirmed conjecture and MacLane's non-existence of real 8_3 configuration have been proved by them in the matter of seconds. In this report we briefly describe some features and capabilities of the package.
展开▼