Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Analysis of Real Algebraic Plane Curves

Kerber, M. (2006). Analysis of Real Algebraic Plane Curves. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Dateien

einblenden: Dateien
ausblenden: Dateien
:
mkerber_diplom.pdf (beliebiger Volltext), 3MB
 
Datei-Permalink:
-
Name:
mkerber_diplom.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Kerber, Michael1, Autor           
Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: This work describes a new method to compute geometric properties of a real algebraic plane curve of arbitrary degree. These properties contain the topology of the curve as well as the location of singular points and vertical asymptotes. The algorithm is based on the Bitstream Descartes method (Eigenwillig et al.: "A Descartes Algorithm for Polynomials with Bit-Stream Coefficients", LNCS~3718), which computes exact information about the real roots of a polynomial from approximate coefficients. For symbolic calculations with algebraic numbers, especially for counting distinct real roots, it uses Sturm-Habicht sequences (Gonzalez-Vega et al.: "Sturm-Habicht Sequences \ldots", in: Caviness, Johnson(eds.): {\it Quantifier Elimination\ldots}, Springer, 1998), which are related to polynomial remainder sequences. Our work explains how to combine these methods to reduce the amount of symbolic calculations without losing exactness.\par The geometry of the curve is computed with respect to the predetermined coordinate system. The algorithm changes coordinates in some situations to bring the curve into a generic position, but a new technique transports the computed information back into the original system efficiently. The conditions for a generic position of the curve are less restrictive than in other approaches and can be checked more efficiently during the analysis.\par The algorithm has been implemented as part of the software library EXACUS. This work presents comprehensive experimental results. They show that the new approach consistently outperforms the method by Seidel and Wolpert ("On the Exact Computation \ldots", SCG 2005, 107--115) and the frequently cited algorithm of Gonzalez-Vega and Necula ("Efficient Topology Determination \ldots", {\it Comp.\ Aided Design} {\bf 19} (2002) 719--743). We therefore claim that our algorithm reflects the state-of-the-art in the resultant-based analysis of algebraic curves.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2007-02-2720062006
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 314567
Anderer: Local-ID: C1256428004B93B8-1BC96C578F66A025C125722E00476676-Kerber2006
 Art des Abschluß: Master

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: