Mechanical geometry theorem proving
Mechanical geometry theorem proving
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Mathematical Knowledge Management in HELM
Annals of Mathematics and Artificial Intelligence
Knowledge Representation and Management in ACTIVEMATH
Annals of Mathematics and Artificial Intelligence
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
Narrative Structure of Mathematical Texts
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Cross-Curriculum Search for Intergeo
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Towards an electronic geometry textbook
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Pedagogically founded courseware generation for web-based learning: an HTN-planning-based approach implemented in PAIGOS
Electronic geometry textbook: a geometric textbook knowledge management system
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Integrating multiple sources to answer questions in algebraic topology
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Notations around the world: census and exploitation
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
On the design and implementation of a geometric knowledge base
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Formalizing projective plane geometry in Coq
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Open geometry textbook: a case study of knowledge acquisition via collective intelligence
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
GeoText: an intelligent dynamic geometry textbook
ACM Communications in Computer Algebra
| Hi-index | 0.00 |
This paper describes Geometric Knowledge Management, explains its main topics and research challenges, and introduces several methods and techniques for geometric knowledge representation, encapsulation, organization, communication, and processing. The proposed methods and techniques make use of general methodologies developed in Mathematical Knowledge Management and take into account the special features of geometry. They are applied to the design and implementation of a system, called an Electronic Geometry Textbook, for representing and managing (plane Euclidean) geometric knowledge in the form of dynamic textbooks. The system may be used to assist users in constructing, maintaining, and sharing geometry textbooks or documents at a detailed granularity, and it is capable of automatically checking the consistency of the presentation structure and the completeness and redundancy of the contents of the constructed textbooks. It also interfaces with external geometry software for automated theorem proving and dynamic diagram drawing.