A symbolic dynamic geometry system using the analytical geometry method
From MaRDI portal
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)
Recommendations
Cites work
- scientific article; zbMATH DE number 41286 (Why is no real title available?)
- scientific article; zbMATH DE number 1313585 (Why is no real title available?)
- scientific article; zbMATH DE number 1120551 (Why is no real title available?)
- A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings
- Automated generation of readable proofs for constructive geometry statements with the mass point method
- Automated theorem proving in GeoGebra: current achievements
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- Machine Proofs in Geometry
- On the application of Buchberger's algorithm to automated geometry theorem proving
- The area method. A recapitulation
Cited in
(6)- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- A program to create new geometry proof problems
- Automated discovery of angle theorems
- Qualitative Symbolic Perturbation: Two Applications of a New Geometry-based Perturbation Framework
- A Symbolic Companion for Interactive Geometric Systems
- A method for the automated discovery of angle theorems
Describes a project that uses
Uses Software
This page was built for publication: A symbolic dynamic geometry system using the analytical geometry method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1995810)
