Towards an Electronic Geometry Textbook

DOI10.1007/978-3-540-77356-6_1zbMath1195.68091OpenAlexW1565123609MaRDI QIDQ5453481

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

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

Related Items

: A Linear Algebra Textbook System

Uses Software

• GEOTHER 1.1
• DLMF

Cites Work

• Unnamed Item
• Unnamed Item
• NIST digital library of mathematical functions
• Automated Deduction in Geometry
• GCLC — A Tool for Constructive Euclidean Geometry and More Than That
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• Automated Deduction in Geometry
• MBase: Representing knowledge and context for the integration of mathematical software systems