OpenGeo: An Open Geometric Knowledge Base
暂无分享,去创建一个
[1] Dongming Wang,et al. On the Design and Implementation of a Geometric Knowledge Base , 2008, Automated Deduction in Geometry.
[2] Deborah L. McGuinness,et al. OWL Web ontology language overview , 2004 .
[3] Dan Song,et al. Automated generation of geometric theorems from images of diagrams , 2014, Annals of Mathematics and Artificial Intelligence.
[4] Jason Gerner,et al. Professional LAMP: Linux, Apache, MySQL and PHP5 Web Development , 2005 .
[5] Pedro Quaresma. Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) , 2010, Automated Deduction in Geometry.
[6] Dongming Wang,et al. Automated Deduction in Geometry , 1996, Lecture Notes in Computer Science.
[7] Shamkant B. Navathe,et al. Conceptual Database Design: An Entity-Relationship Approach , 1991 .
[8] Dongming Wang,et al. Management of geometric knowledge in textbooks , 2012, Data Knowl. Eng..
[9] Guanyu Li,et al. MathEdit, A Browser-based Visual Mathematics Expression Editor , 2006 .
[10] Henrik Eriksson,et al. The evolution of Protégé: an environment for knowledge-based systems development , 2003, Int. J. Hum. Comput. Stud..