Related Links

• Geo* - Geometry on Computer

  The Geo* project attempts to bring the contents of traditional geometry to electronic form and to make geometric computation, reasoning, drawing, and knowledge management dynamic, automatic, or interactive on computer.

• GeoData is a preliminary database containing over 800 selected theorems in plane Euclidean geometry. These theorems can be retrieved via the web interface by keywords searching. Each theorem is presented in both English and Chinese with a figure.

• GeoText is an intelligent dynamic software system in the form of an electronic textbook that allows the user to create, maintain, and manage knowledge elements in plane Euclidean geometry. The textbook is dynamic in the sense that its structure and contents can be updated in real time and is intelligent in the sense that content management and knowledge processing may be automated. Supported by a structured and formalized knowledge base, having a geometric theorem prover(GEOTHER) and a dynamic diagram generator (GeoDraw) integrated, with an interface to a dynamic mathematics software package (GeoGebra), GeoText is capable of presenting structured textbook contents as electronic textbooks (in English or Chinese), checking the consistency of the presentation structure and the redundancy and completeness of textbook contents, discovering relations among geometric knowledge data, proving geometric theorems, and generating dynamic diagrams for configurations in textbooks, automatically in most cases.

• GEOTHER (GEOmetry THeorem provER) is an environment implemented by Dongming Wang in Maple with drawing routines and interface written previously in C and now in Java for manipulating and proving geometric theorems.

• GeoDraw is a software package that has developed for drawing dynamic diagrams automatically from predicate specifications of given sets of geometric relations involving inequality constraints.It can be used to draw dynamic diagram of constructive type and to generate dynamic diagram of declarative type based on both symbolic and numeric computation. The process of dynamic diagram generation makes use of triangular decomposition in Maple, real quantifier elimination in QEPCAD with arsing, numerical computation, graphic drawing, and letter labeling in Java and is completely automated. The drawn diagrams may be animated and fine-tuned by mouse click and dragging with the given geometric relations maintained.