Automated Deduction in Geometry
From MaRDI portal
Publication:5493322
DOI10.1007/11615798zbMATH Open1159.68549OpenAlexW4293020873MaRDI QIDQ5493322FDOQ5493322
Authors: Francisco Botana, Tomas Recio 
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11615798
Recommendations
- A Symbolic Companion for Interactive Geometric Systems
- scientific article; zbMATH DE number 2087082
- A bridge between dynamic geometry and computer algebra
- A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes
- Development of automatic reasoning tools in GeoGebra
Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)
Cited In (18)
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- A bridge between dynamic geometry and computer algebra
- A symbolic dynamic geometry system using the analytical geometry method
- A touch-operation-based dynamic geometry system: design and implementation
- Geometry constructions language
- Title not available (Why is that?)
- New dynamics in dynamic geometry: dragging constructed points
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Solving geometric problems through experimental mathematics: use of dynamic geometry software to construct an unknown locus
- On protocols for the automated discovery of theorems in elementary geometry
- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
- Elegant geometric constructions
- About tracing problems in dynamic geometry
- Title not available (Why is that?)
- Automated Discovery in Elementary Extrema Problems
- Incorporated dynamical symbols in drawing CAD \& spatial (GIS) systems
- Title not available (Why is that?)
Uses Software
This page was built for publication: Automated Deduction in Geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5493322)
