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

DOI10.1007/978-3-642-25070-5_4zbMATH Open1350.68295OpenAlexW1552483525MaRDI QIDQ3102736FDOQ3102736

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

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
• 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
• scientific article

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)

Cites Work

• Title not available (Why is that?)
• Automatic discovery of theorems in elementary geometry
• Modern computer algebra
• A software tool for the investigation of plane loci
• Recognition of Computationally Constructed Loci
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• A dynamic geometry system approach to analyse distance geometry problems based on partial Latin squares
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatic deduction in (dynamic) geometry: Loci computation

Uses Software

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

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)