Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System

DOI10.1007/978-3-540-77356-6_12MaRDI QIDQ5453492zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A symbolic dynamic geometry system using the analytical geometry method
• scientific article; zbMATH DE number 767435
• A bridge between dynamic geometry and computer algebra
• A Symbolic Companion for Interactive Geometric Systems
• Automated Deduction in Geometry

Cites work

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

Cited in

(21)

• Applications of Euclidean constructions to computer graphics
• Optimal decomposition and recombination of isostatic geometric constraint systems for designing layered materials
• A symbolic dynamic geometry system using the analytical geometry method
• A system for automated deduction in engineering mechanics
• Geometry constructions language
• Automated discovery of geometric theorems based on vector equations
• Algorithm 951: Cayley analysis of mechanism configuration spaces using CayMos: software functionalities and architecture
• The use of WPF for development of interactive geometry software
• Automatic deduction in (dynamic) geometry: Loci computation
• scientific article; zbMATH DE number 1149429 (Why is no real title available?)
• scientific article; zbMATH DE number 1467754 (Why is no real title available?)
• scientific article; zbMATH DE number 1548431 (Why is no real title available?)
• A Symbolic Companion for Interactive Geometric Systems
• Elegant geometric constructions
• A bridge between dynamic geometry and computer algebra
• Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}
• A program to create new geometry proof problems
• Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
• Automated generation of geometry proof problems based on point geometry identity
• A method for the automated discovery of angle theorems
• Connecting the 3D DGS Calques3D with the CAS Maple

Describes a project that uses

Uses Software

• GEOTHER 1.1
• Geometry Expressions

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

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