Edited by

Xiaoshan Gao   (Institute of Systems Science, Academia Sinica)
Jingzhong Zhang   (Institute of Computer Applications, Academia Sinica)
ShangChing Chou   (Department of Computer Science, Wichita State University)
 
 

    　Geometry Expert is a software for dynamic geometric drawing and automated geometry theorem proving and discovering.
    　With Geometry Expert, we can draw geometric diagrams dynamically, that is, we can change these diagrams in a continuous way and at the same time keeping the geometric relations in the diagram intact. 
    　This feature of Geometry Expert provides a powerful and convenient platform for teaching mathematical concept in an intuitive way. Geometry Expert can be used to draw diagrams of elementary functions and plane curves. 
    　We can also use it to do geometric transformation and animation. With Geometry Expert, we have proved hundreds of difficult geometry theorems and generated elegant proofs for them.
    　Furthermore, we can use Geometry Expert to build a database which contains all the properties of a given diagram that can be deduced using a set of geometric axioms. With this feature, teachers can easily make exercises and test problems; students can enhance their ability of solving problems by fully explore the properties of a given diagram.