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 
Jahr:
2010 
Dokumenttyp:
Dissertation 
Institution:
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 fixe...    »
 
Ü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...    »
 
Mündliche Prüfung:
12.02.2010 
Seiten:
190 
Letzte Änderung:
10.03.2010