Benutzer: Gast  Login
Originaltitel:
Solving Polynomial Systems on Semirings
Originaluntertitel:
A Generalization of Newton's Method
Übersetzter Titel:
Lösen polynomieller Systeme über Semiringen
Übersetzter Untertitel:
Eine Verallgemeinerung des Newton-Verfahrens
Autor:
Luttenberger, Michael
Jahr:
2010
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Informatik
Betreuer:
Esparza Estaun, Francisco Javier (Prof. Dr.)
Gutachter:
Diekert, Volker (Prof. Dr.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
Kurzfassung:
We study the calculation of the least fixed point of systems of polynomials on semirings. These systems arise in several branches of computer science, e.g. in the analysis of procedural programs. Our main result is the generalization of Newton's method to this more general setting. We show that on semirings Newton's method converges at least as fast as the standard fixed point iteration. Further, we identify classes of semirings on which Newton's method reaches the least fixed point...     »
Übersetzte Kurzfassung:
Es wird die Berechnung des kleinsten Fixpunkts polynomieller Systeme über Semiringen betrachtet. Diese Systeme ergeben sich innerhalb verschiedener Bereiche der Informatik, z.B. bei der Analyse von prozeduralen Programmen. Das Hauptergebnis ist die Verallgemeinerung des Newton-Verfahrens. Es wird gezeigt, dass das Newton-Verfahren über Semiringen stets mindestens so schnell wie die Standardfixpunktiteration konvergiert. Weiterhin werden Klassen von Semiringen ermittelt, über denen das Newto...     »
WWW:
https://mediatum.ub.tum.de/?id=796584
Eingereicht am:
25.06.2009
Mündliche Prüfung:
12.02.2010
Seiten:
190
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20100212-796584-1-3
Letzte Änderung:
10.03.2010
 BibTeX