Verifizierte Einschliessung von Eigenwerten und Eigenräumen reeller symmetrischer Matrizen und ihre Anwendung auf die kontrollierte Berechnung dreidimensionaler Helmerttransformationen - Klug, Uwe (1990)