Verification algorithms for generalized singular values

Mathematische Nachrichten

Volumn 208, Issue , 1999, Pages 5-29

  Alefeld, Götz ^a   Hoffmann, Rolf ^c   Mayer, Günter ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UNIVERSITY OF ROSTOCK   (Germany)

^c NONE   (Germany)

Author keywords

Enclosures for generalized singular values; Generalized singular values; Interval analysis; Nonlinear systems of equations; Singular values; Verification of generalized singular values

Indexed keywords

EID: 0040036374     PISSN: 0025584X     EISSN: None     Source Type: Journal    
DOI: 10.1002/mana.3212080102     Document Type: Article

References (21)

1. ALEFELD, G.: Berechenbare Fehlerschranken für ein Eigenpaar unter Einschluß von Rundungsfehlern bei Verwendung des genauen Skalarprodukts. Z. angew. Math. Mech. 67 (1987), 145-152
2. ALEFELD, G.: Rigorous Error Bounds for Singular Values of a Matrix Using the Precise Scalar Product. In: KAUCHER, E., KULISCH, U., and ULLRICH, CH. (eds.): Computerarithmetic, Teubner, Stuttgart, 1987, 9-30
3. ALEFELD, G.: Errorbounds for Quadratic Systems of Nonlinear Equations Using the Precise Scalar Product. In: KULISCH, U., and STETTER, H. J. (eds.): Scientific Computation with Automatic Result Verification, Computing, Suppl. 6 (1988), 59-68
4. ALEFELD, G.: Berechenbare Fehlerschranken für ein Eigenpaar beim verallgemeinerten Eigenwertproblem, Z. angew. Math. Mech. 68 (1988), 181-184
5. ALEFELD, G., and HERZBERGER, J.: Introduction to Interval Computations, Academic Press, New York, 1983
6. ALEFELD, G., and SPREUER, H.: Iterative Improvement of Componentwise Errorbounds for Invariant Subspaces Belonging to a Double or Nearly Double Eigenvalue, Computing 36 (1986), 321-334
7. ANDERSON, E., BAI, Z., BISCHOF, J., DEMMEL, J., DONGARRA, J., DU CROZ, J., GREENBAUM, A., HAMMARLING, S., MCKENNEY, A., OSTROUCHOV, S., and SORENSEN, D.: LAPACK, User's Guide, 2nd ed., SIAM, Philadelphia, 1995
8. BAI, Z., and DEMMEL, J. W.: Computing the Generalized Singular Value Decomposition, SIAM J. Sci. Stat. Comput. 14 (1993), 1464-1486
9. BAI, Z., and ZHA, H.: A New Preprocessing Algorithm for the Computation of the Generalized Singular Value Decomposition, SIAM J. Sci. Stat. Comput. 14 (1993), 1007-1012
10. GOLUB, G. H., and VAN LOAN, C. F.: Matrix Computations, The Johns Hopkins University Press, Baltimore, Maryland, 1983
11. HOFFMANN, R.: Konstruktion von Fehlerschranken bei der verallgemeinerten Singulärwertzerlegung und ihre iterative Verbesserung, Thesis, Universität Karlsruhe, 1993
12. KLATTE, R., KULISCH, U., NEAGA, M., RATZ, D., and ULLRICH, CH.: PASCAL-XSC. Language Reference with Examples, Springer-Verlag, Berlin, 1992
13. LAWSON, C. L., and HANSON, R. J.: Solving Least Squares Problems, Classics in Applied Mathematics 15, SIAM, Philadelphia, 1995
14. MAYER, G.: Result Verification for Eigenvectors and Eigenvalues. In: HERZBERGER, J. (ed.): Topics in Validated Computations, Studies in Computational Mathematics 5, Elsevier (North-Holland), Amsterdam, 1994, 209-276
15. MAYER, G.: On a Unified Representation of Some Interval Analytic Algorithms, Rostock. Math. Kolloq. 49 (1995), 75-88
16. NEUMAIER, A.: Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, 1990
17. PAIGE, C. C.: Computing the Generalized Singular Value Decomposition, SIAM J. Sci. Stat. Comput. 7 (1986), 1126-1146
18. PAIGE, C. C., and SAUNDERS, M. A.: Towards a Generalized Singular Value Decomposition, SIAM J. Numer. Anal. 18 (1981), 398-405
19. PLATZÖDER, L.: Einige Beiträge über die Existenz von Lösungen nichtlinearer Gleichungssysteme und Verfahren zu ihrer Berechnung, Thesis, Berlin, 1981
20. VAN LOAN, C. F.: Generalizing the Singular Value Decomposition, SIAM J. Numer. Anal. 13 (1976), 76-83
21. VAN LOAN, C. F.: Computing the CS and the Generalized Singular Value Decompositions, Numer. Math. 46 (1985), 479-491