A symbolic dynamic geometry system using the analytical geometry method

DOI10.1007/s11786-020-00490-0zbMath1474.68454OpenAlexW3038095064MaRDI QIDQ1995810

Philip H. Todd

Publication date: 25 February 2021

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-020-00490-0

zbMATH Keywords

automatic theorem provingdynamic geometrysymbolic geometry

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Software, source code, etc. for problems pertaining to geometry (51-04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Automated discovery of angle theorems ⋮ A program to create new geometry proof problems

Uses Software

• Cinderella
• GeoGebra
• Geometer's Sketchpad
• Geometry Expressions

Cites Work

• Automated theorem proving in GeoGebra: current achievements
• The area method. A recapitulation
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
• A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings
• Machine Proofs in Geometry
• Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A symbolic dynamic geometry system using the analytical geometry method