Rump, Siegfried M.Siegfried M.Rump2008-03-252008-03-251982Computing 29 (1982), 183-200http://tubdok.tub.tuhh.de/handle/11420/307Im folgenden wird ein Algorithmus zur Konstruktion einer Einschließung einer Lösung eines nichtlinearen Gleichungssystems angegeben. Im Gegensatz zu bekannten Methoden benötigt der Algorithmus keine schwierig verifizierbaren Voraussetzungen wie etwa die Nichtsingularität einer Matrix. Tatsächlich wird diese Eigenschaft vom Algorithmus automatisch verifiziert. Die Ergebnisse des Algorithmus zeichnen sich durch hohe Genauigkeit aus. Diese wird durch Residuen (eventuell höherer Ordnung) erreicht.We give an algorithm for constructing an inclusion of the solution of a system of nonlinear equations. In contrast to existing methods, the algorithm does not require properties which are difficult to verify such as the non-singularity of a matrix. In fact this latter property is demonstrated by the algorithm itself. The highly accurate computational results are obtained in terms of a residue of first or higher order of the system.enhttp://doku.b.tu-harburg.de/doku/lic_ohne_pod.phpAutomatic verification, existence, uniqueness, inclusion, rounding errorJournal Articleurn:nbn:de:gbv:830-tubdok-378610.15480/882.30511420/30710.15480/882.305930767763Other