Geo*项目的数据任务致力于设计和创建几何知识数据、知识对象和知识库,重点是
地理数据是一个初步数据库,包含平面欧几里德几何中800多个精选定理。这些定理可以通过关键字搜索通过web界面检索。每个定理都用英文和中文给出,并附有数字。