Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System

DOI10.1007/978-3-540-77356-6_12zbMath1195.68116OpenAlexW1519311758MaRDI QIDQ5453492

Philip H. Todd

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_12

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Elementary problems in Euclidean geometries (51M04) Software, source code, etc. for problems pertaining to geometry (51-04)

Related Items (9)

Optimal decomposition and recombination of isostatic geometric constraint systems for designing layered materials ⋮ Automated discovery of geometric theorems based on vector equations ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} ⋮ A program to create new geometry proof problems ⋮ Algorithm 951 ⋮ A symbolic dynamic geometry system using the analytical geometry method ⋮ A system for automated deduction in engineering mechanics ⋮ Connecting the 3D DGS Calques3D with the CAS Maple

Uses Software

• GEOTHER 1.1
• Geometry Expressions

Cites Work

• A bridge between dynamic geometry and computer algebra
• A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings

This page was built for publication: Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System