Title: Implementierung Numerischer Verifizierender Verfahren Mit Graphischer Benutzerschnittstelle Unter Oberon-Xsc