Towards an Electronic Geometry Textbook

DOI10.1007/978-3-540-77356-6_1MaRDI QIDQ5453481zbMATH OpenOpenAlexFDO

Authors Dongming Wang, Xiao-Yu Chen

Publication date 1 April 2008

Published in Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77356-6_1

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01) Software, source code, etc. for problems pertaining to geometry (51-04) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Electronic Geometry Textbook: a geometric textbook knowledge management system
• Towards an intelligent and dynamic geometry book
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• scientific article; zbMATH DE number 767435
• An introduction to Java geometry expert. (Extended abstract)

Cites work

• Automated Deduction in Geometry
• Automated Deduction in Geometry
• GCLC -- a tool for constructive Euclidean geometry and more than that
• scientific article; zbMATH DE number 1863377 (Why is no real title available?)
• scientific article; zbMATH DE number 3266283 (Why is no real title available?)
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• MBase: Representing knowledge and context for the integration of mathematical software systems
• NIST digital library of mathematical functions

Cited in

(19)

• Towards an intelligent and dynamic geometry book
• Formalization and specification of geometric knowledge objects
• Taxonomies of geometric problems
• The web geometry laboratory project
• Opengeo: an open geometric knowledge base
• Open geometry textbook: a case study of knowledge acquisition via collective intelligence (project description)
• Geometry knowledge base learning from theorem proofs
• An introduction to Java geometry expert. (Extended abstract)
• scientific article; zbMATH DE number 2089089 (Why is no real title available?)
• Electronic Geometry Textbook: a geometric textbook knowledge management system
• scientific article; zbMATH DE number 4102515 (Why is no real title available?)
• scientific article; zbMATH DE number 1260896 (Why is no real title available?)
• scientific article; zbMATH DE number 736767 (Why is no real title available?)
• scientific article; zbMATH DE number 2000432 (Why is no real title available?)
• scientific article; zbMATH DE number 767435 (Why is no real title available?)
• Representation and automated transformation of geometric statements
• Querying geometric figures using a controlled language, ontological graphs and dependency lattices
• : A Linear Algebra Textbook System
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method

Describes a project that uses

Uses Software

• GEOTHER 1.1
• DLMF

This page was built for publication: Towards an Electronic Geometry Textbook

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5453481)