Inhaltsangabe: Zusammenfassung: Die vorliegende Arbeit beschaftigt 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) losen und hierbei Losungseinschlieungen liefern im Gegensatz zu den herkommlichen computerbasierten Verfahren, die gerundete Ergebnisse liefern, die weit von der echten Losung entfernt liegen. Den zweite Schwerpunkt bilden die graphischen Benutzerschnittstellen, die es ermoglichen mathematische...