Verifizierte Einschliessung von Eigenwerten und Eigenräumen reeller symmetrischer Matrizen und ihre Anwendung auf die kontrollierte Berechnung dreidimensionaler Helmerttransformationen - Klug, Uwe (Wuppertal, Univ., Diss., 1990, 1990)
Mikroreprod. e. Ms. 93 Bl.