Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System

DOI10.1007/978-3-642-25070-5_4MaRDI QIDQ3102736zbMATH OpenOpenAlexFDO

Authors Michael Gerhäuser, Alfred Wassermann

Publication date 25 November 2011

Published in Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-25070-5_4

zbMATH Keywords

dynamic geometry systemGröbner basesautomatic discovery of plane loci

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Recommendations

• scientific article; zbMATH DE number 2009909
• Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases
• Automatic deduction in (dynamic) geometry: Loci computation
• scientific article; zbMATH DE number 1189068
• Automated reducible geometric theorem proving and discovery by Gröbner basis method
• A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
• scientific article; zbMATH DE number 4065139
• scientific article; zbMATH DE number 4065140

Cites work

• scientific article; zbMATH DE number 1131487 (Why is no real title available?)
• scientific article; zbMATH DE number 1163415 (Why is no real title available?)
• scientific article; zbMATH DE number 217454 (Why is no real title available?)
• A software tool for the investigation of plane loci
• Automatic discovery of theorems in elementary geometry
• Modern computer algebra
• Recognition of Computationally Constructed Loci

Cited in

(11)

• A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes
• Factorization of locus polynomials using DGS
• A dynamic geometry system approach to analyse distance geometry problems based on partial Latin squares
• scientific article; zbMATH DE number 2009909 (Why is no real title available?)
• Software using the Gröbner cover for geometrical loci computation and classification
• Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations
• Using Maple's RegularChains library to automatically classify plane geometric loci
• Contemporary interpretation of a historical locus problem with the use of computer algebra
• Giac and GeoGebra -- improved Gröbner basis computations
• scientific article; zbMATH DE number 2079840 (Why is no real title available?)
• Automatic deduction in (dynamic) geometry: Loci computation

Describes a project that uses

Uses Software

• Python
• webDiscovery
• Lugares
• Matplotlib
• JSXGraph
• CoCoA

This page was built for publication: Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System

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