Management of geometric knowledge in textbooks
暂无分享,去创建一个
[1] Dongming Wang,et al. On the Design and Implementation of a Geometric Knowledge Base , 2008, Automated Deduction in Geometry.
[2] Luca Padovani,et al. Mathematical Knowledge Management in HELM , 2003, Annals of Mathematics and Artificial Intelligence.
[3] Paul Libbrecht. Notations around the world: census and exploitation , 2010, AISC'10/MKM'10/Calculemus'10.
[4] Wen-tsün Wu. Mechanical Theorem Proving in Geometries: Basic Principles , 1994 .
[5] Geoff Sutcliffe,et al. TSTP Data-Exchange Formats for Automated Theorem Proving Tools , 2004 .
[6] Paul Libbrecht,et al. Knowledge Representation and Management in ACTIVEMATH , 2004, Annals of Mathematics and Artificial Intelligence.
[7] Wenjun Wu,et al. Mechanical Theorem Proving in Geometries , 1994, Texts and Monographs in Symbolic Computation.
[8] Paul Libbrecht,et al. Cross-Curriculum Search for Intergeo , 2008, AISC/MKM/Calculemus.
[9] Xiao-Shan Gao,et al. Automated Reasoning in Geometry , 2001, Handbook of Automated Reasoning.
[10] Carsten Ullrich. Pedagogically Founded Courseware Generation for Web-Based Learning, An HTN-Planning-Based Approach Implemented in PAIGOS , 2008, Lecture Notes in Computer Science.
[11] Dongming Wang. GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically , 2002, Automated Deduction in Geometry.
[12] Fairouz Kamareddine,et al. Narrative Structure of Mathematical Texts , 2007, Calculemus/MKM.
[13] S. Chou. Mechanical Geometry Theorem Proving , 1987 .
[14] Dongming Wang,et al. Towards an Electronic Geometry Textbook , 2006, Automated Deduction in Geometry.
[15] Ferruccio Guidi,et al. Searching and retrieving in content-based repositories of formal mathematical knowledge , 2003 .
[16] Pascal Schreck,et al. Formalizing Projective Plane Geometry in Coq , 2008, Automated Deduction in Geometry.
[17] William M. Farmer. MKM: a new interdisciplinary field of research , 2004, SIGS.
[18] W. Wu. ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY , 2008 .
[19] Michael Kohlhase,et al. OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] , 2006, Lecture Notes in Computer Science.
[20] Michael Kohlhase,et al. An Exchange Format for Modular Knowledge , 2008, LPAR Workshops.
[21] Xiaoyu Chen. Electronic geometry textbook: a geometric textbook knowledge management system , 2010, AISC'10/MKM'10/Calculemus'10.
[22] Jacques Hadamard,et al. Lessons in geometry , 2008 .
[23] Luís Cruz-Filipe,et al. Constructive Real Analysis: A Type-Theoretical Formalization and Applications , 2004 .
[24] Carsten Ullrich,et al. Description of an Instructional Ontology and its Application in Web Services for Education , 2004 .
[25] Jónathan Heras,et al. Integrating multiple sources to answer questions in algebraic topology , 2010, AISC'10/MKM'10/Calculemus'10.