Automatic deduction in (dynamic) geometry: Loci computation
From MaRDI portal
Publication:390369
DOI10.1016/j.comgeo.2013.07.001zbMath1280.65021OpenAlexW2062742516MaRDI QIDQ390369
Francisco Botana, Miguel A. Abánades
Publication date: 8 January 2014
Published in: Computational Geometry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.comgeo.2013.07.001
algorithmgraphical examplesGröbner coverautomatic deduction in geometrydynamic geometry constructionGeogebralocusSage
Related Items (4)
Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences ⋮ Automated study of a regular trifolium ⋮ A dynamic geometry system approach to analyse distance geometry problems based on partial Latin squares ⋮ A Singular web service for geometric computations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
- A bridge between dynamic geometry and computer algebra
- Gröbner bases for polynomial systems with parameters
- On the application of Buchberger's algorithm to automated geometry theorem proving
- Using Gröbner bases to reason about geometry problems
- Proving geometry theorems with rewrite rules
- Basic principles of mechanical theorem proving in elementary geometries
- Wu's method and its application to perspective viewing
- Comprehensive Gröbner bases
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- A new algorithm for discussing Gröbner bases with parameters.
- Automatic discovery of theorems in elementary geometry
- A software tool for the investigation of plane loci
- An alternative approach to comprehensive Gröbner bases
- Automatic determination of envelopes and other derived curves within a graphic environment
- On solving parametric polynomial systems
- Solving parametric polynomial systems
- A Gröbner-based treatment of elimination theory for affine varieties
- An Introduction to Automated Discovery in Geometry through Symbolic Computation
- A new algorithm for computing comprehensive Gröbner systems
- A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
- Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
- GEOTHER: A geometry theorem prover
- Recognition of Computationally Constructed Loci
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- Automated Deduction in Geometry
- On the role of OpenMath in interactive mathematical documents
This page was built for publication: Automatic deduction in (dynamic) geometry: Loci computation
