Introduction
The Data task of the Geo* project is devoted to the design and creation of geometric knowledge data, knowledge objects, and knowledge bases with emphasis on the
- identification, classification, standardization, formalization, and organization of knowledge data;
- encapsulation and structuring of interrelated knowledge data into knowledge objects;
- analysis and processing of knowledge data and objects.
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.