Building Dynamic Mathematical

Models with Geometry Expert*

III. A Geometry Deductive Database


Xiao-Shan Gao


Institute of Systems Science

Academia Sinica, Beijing 100080




Geometry Expert (GEX) is a software system for dynamic diagram drawing and automated geometry theorem proving and discovering. For a given diagram, we can use GEX to generate a database which contains all the properties of this diagram that can be deduced from a fixed set of geometric rules or axioms, and for each geometric property in the database GEX can generate an elegant proof for it. Based on this software, we introduce the concept of dynamic logic model which can do reasoning itself. Logic models can be used for intelligent educational tasks, such as automated generation of test problems, automated evaluation of students' answers, intelligent tutoring, etc.


?1999. ATCM, Inc


Go Back
Copyright & Disclaimers

© 2005 ATCM, Inc. © 2005 Any2Any Technologies, Ltd.