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

DOI10.1007/978-3-642-25070-5_4zbMath1350.68295OpenAlexW1552483525MaRDI QIDQ3102736

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

Gröbner basesdynamic geometry systemautomatic 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)

Related Items (2)

Automatic deduction in (dynamic) geometry: Loci computation ⋮ A dynamic geometry system approach to analyse distance geometry problems based on partial Latin squares

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automatic discovery of theorems in elementary geometry
• A software tool for the investigation of plane loci
• Recognition of Computationally Constructed Loci

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