Recognition of Computationally Constructed Loci
From MaRDI portal
Publication:5453484
DOI10.1007/978-3-540-77356-6_4zbMath1195.68105OpenAlexW1602733464MaRDI QIDQ5453484
Peter Lebmeir, Jürgen Richter-Gebert
Publication date: 1 April 2008
Published in: Automated Deduction in Geometry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-77356-6_4
Related Items
Diagrams, tensors and geometric reasoning ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ Rotations, translations and symmetry detection for complexified curves ⋮ Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
Uses Software
Cites Work
This page was built for publication: Recognition of Computationally Constructed Loci