Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC Rutilius Taurus Aemilianus die Mitbestimmung

die Mitbestimmung

viList of Abbreviationsvii

mêlant prose polardesque et poésie

Klassenzahl- und Einheitenberechnung -- 71

Von der Liebe

Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC Rutilius Taurus Aemilianus die MitbestimmungInhaltsangabe: Zusammenfassung: Die vorliegende Arbeit beschftigt sich mit zwei thematischen Schwerpunkten. Der eine Schwerpunkt sind numerische, verifizierende Verfahren. Darunter werden Algorithmen und Methoden verstanden, die mathematische Aufgaben mittels Computer numerisch (also nicht symbolisch) lsen und hierbei Lsungseinschlieungen liefern im Gegensatz zu den herkmmlichen computerbasierten Verfahren, die gerundete Ergebnisse liefern, die weit