Automated Deduction in Geometry

DOI10.1007/11615798MaRDI QIDQ5493322zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

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

Cited in

(18)

• A bridge between dynamic geometry and computer algebra
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
• Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
• A symbolic dynamic geometry system using the analytical geometry method
• A touch-operation-based dynamic geometry system: design and implementation
• Geometry constructions language
• scientific article; zbMATH DE number 1149429 (Why is no real title available?)
• New dynamics in dynamic geometry: dragging constructed points
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• On protocols for the automated discovery of theorems in elementary geometry
• Solving geometric problems through experimental mathematics: use of dynamic geometry software to construct an unknown locus
• First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
• Elegant geometric constructions
• About tracing problems in dynamic geometry
• scientific article; zbMATH DE number 1684357 (Why is no real title available?)
• Automated Discovery in Elementary Extrema Problems
• Incorporated dynamical symbols in drawing CAD \& spatial (GIS) systems
• scientific article; zbMATH DE number 2087082 (Why is no real title available?)

Describes a project that uses

Uses Software

• Lugares
• Geometer's Sketchpad
• CoCoA
• Cinderella

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)