Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
type: Item
instance of: scholarly article
title: Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
zbMATH Open document ID: 1350.68295
DOI: 10.1007/978-3-642-25070-5_4
author: Michael Gerhäuser
author: Alfred Wassermann
published in: Automated Deduction in Geometry
publication date: 2011-11-25T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 68U05
zbMATH DE Number: 5979324
zbMATH Keywords: dynamic geometry system
zbMATH Keywords: Gröbner bases
zbMATH Keywords: automatic discovery of plane loci
describes a project that uses: CoCoA
describes a project that uses: Lugares
describes a project that uses: JSXGraph
describes a project that uses: Matplotlib
describes a project that uses: webDiscovery
describes a project that uses: Python
MaRDI profile type: Publication
full work available at URL: 978-3-642-25070-5 4
OpenAlex ID: W1552483525
cites work: Q4693774
cites work: A software tool for the investigation of plane loci
cites work: Q4394946
cites work: Q4382669
cites work: Modern computer algebra
cites work: Recognition of Computationally Constructed Loci
cites work: Automatic discovery of theorems in elementary geometry
Recommended article: Q4434833
Recommended article: Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases
Recommended article: Automatic deduction in (dynamic) geometry: Loci computation
Recommended article: Q3838770
Recommended article: Automated reducible geometric theorem proving and discovery by Gröbner basis method
Recommended article: A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes
Recommended article: Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
Recommended article: Q3798767
Recommended article: Q3798768
description: scientific article