Recognition of computationally constructed loci

Authors:
Peter Lebmeir;Jürgen Richter-Gebert
Affiliations:
Technical University of Munich, Department of Mathematics, Garching, Germany;Technical University of Munich, Department of Mathematics, Garching, Germany
Venue:
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Year:
2006

Citing 4
Cited 3

Estimation of Planar Curves, Surfaces, and Nonplanar Space Curves Defined by Implicit Equations with Applications to Edge and Range Image Segmentation

IEEE Transactions on Pattern Analysis and Machine Intelligence
Analysis of PSLQ, an integer relation finding algorithm

Mathematics of Computation
The Complex Representation of Algebraic Curves and Its Simple Exploitation for Pose Estimation and Invariant Recognition

IEEE Transactions on Pattern Analysis and Machine Intelligence
PIMs and Invariant Parts for Shape Recognition

ICCV '98 Proceedings of the Sixth International Conference on Computer Vision

Rotations, translations and symmetry detection for complexified curves

Computer Aided Geometric Design
Automatic calculation of plane loci using gröbner bases and integration into a dynamic geometry system

ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
Automatic deduction in (dynamic) geometry: Loci computation

Computational Geometry: Theory and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means determining a single implicit polynomial equation and geometric invariants, characterizing an algebraic curve which is given by a discrete set of sample points. Starting with these discrete samples, arising for example from a geometric ruler and compass construction, an eigenvalue analysis of a matrix derived from the data leads to proposed curve parameters. Utilizing the construction itself, with its free and dependent geometric elements, further specifications of the type of constructed curves under genericity assumptions are made. This is done by a second eigenvalue analysis of parameters of several generically generated curves.