Epsilon-inflation with contractive interval functions

Applications of Mathematics

Volumn 43, Issue 4, 1998, Pages 241-254

  Mayer, Günter ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

Contraction; Eigenvalues; Epsilon inflation; Interval computation; Nonlinear equations; P contraction; Singular values; Verification algorithms

Indexed keywords

EID: 0346515342     PISSN: 08627940     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1023297204431     Document Type: Article

References (16)

1. G. Alefeld: Rigorous Error Bounds for Singular Values of a Matrix Using the Precise Scalar Product. Computerarithmetic (E. Kaucher, U. Kulisch and Ch. Ullrich, eds.). Teubner, Stuttgart, 1987, pp. 9-30.
2. G. Alefeld and J. Herzberger: Introduction to Interval Computations. Academic Press, New York, 1983.
3. G. Alefeld and H. Spreuer: Iterative improvement of componentwise error bounds for invariant subspaces belonging to a double or nearly double eigenvalue. Computing 36 (1986), 321-334.
4. O. Caprani and K. Madsen: Iterative methods for interval inclusion of fixed points. BIT
5. K. Grüner: Solving the Complex Algebraic Eigenvalue Problem with Verified High Accuracy Accurate Numerical Algorithms, A Collection of Research Papers, Research Reports ESPRIT, Project 1072, DIAMOND, Vol. 1 (Ch. Ullrich and J. Wolff von Gudenberg, eds.). Springer, Berlin, 1989, pp. 59-78.
6. S. König: On the Inflation Parameter Used in Self-Validating Methods. Contributions to Computer Arithmetic and Self-Validating Numerical Methods (Ch. Ullrich, ed.). Baltzer, IMACS, Basel, 1990, pp. 127-132.
7. G. Mayer: Result Verification for Eigenvectors and Eigenvalues. Topics in Validated Computations (J. Herzberger, ed.). Elsevier, Amsterdam, 1994, pp. 209-276.
8. G. Mayer: Über ein Prinzip in der Verifikationsnumerik. Z. angew. Math. Mech. 75 (1995), S II, S 545-S 546..
9. G. Mayer: Epsilon-inflation in verification algorithms. J. Comp. Appl. Math. 60 (1995), 147-169.
10. G. Mayer: On a unified representation of some interval analytic algorithms. Rostock. Math. Kolloq. 49 (1995), 75-88.
11. G. Mayer: Success in Epsilon-Inflation. Scientific Computing and Validated Numerics (G. Alefeld, A. Frommer and B. Lang, eds.). Akademie Verlag, Berlin, 1996, pp. 98-104.
12. A. Neumaier: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, 1990.
13. S. M. Rump: Kleine Fehlerschranken bei Matrixproblemen. Thesis, Universität Karlsruhe, 1980.
14. S. M. Rump: Solving Algebraic Problems with High Accuracy. A New Approach to Scientific Computation (U. W. Kulisch and W. L. Miranker, eds.). Academic Press, New York, 1983, pp. 53-120.
15. S. M. Rump: New Results in Verified Inclusions. Accurate Scientific Computation, Lecture Notes in Computer Science Vol. 235 (W. L. Miranker and R. A. Toupin, eds.). Springer, Berlin, 1986, pp. 31-69.
16. S. M. Rump: On the solution of interval linear systems. Computing 47 (1992), 337-353.