Verification methods: Rigorous results using floating-point arithmetic

Acta Numerica

Volumn 19, Issue , 2010, Pages 287-449

  Rump, Siegfried M ^a,b  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b WASEDA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 78149235132     PISSN: 09624929     EISSN: 14740508     Source Type: Journal    
DOI: 10.1017/S096249291000005X     Document Type: Article

References (225)

1. J. P. Abbott and R. P. Brent (1975), 'Fast local convergence with single and multistep methods for nonlinear equations', Austr. Math. Soc. B 19, 173-199.
2. ACRITH (1984), IBM High-Accuracy Arithmetic Subroutine Library (ACRITH), Release 1, IBM Deutschland GmbH, Böblingen.
3. R. A. Adams (1975), Sobolev Spaces, Academic Press, New York.
4. G. Alefeld, private communication.
5. G. Alefeld (1994), Inclusion methods for systems of nonlinear equations. In Topics in Validated Computations (J. Herzberger, ed.), Studies in Computational Mathematics, Elsevier, Amsterdam, pp. 7-26.
6. G. Alefeld and J. Herzberger (1974), Einführung in die Intervallrechnung, BI Wissenschaftsverlag.
7. G. Alefeld, V. Kreinovich and G. Mayer (1997), 'On the shape of the symmetric, persymmetric, and skew-symmetric solution set', SIAM J. Matrix Anal. Appl. 18, 693-705.
8. G. Alefeld, V. Kreinovich and G. Mayer (2003), 'On the solution sets of particular classes of linear interval systems', J. Comput. Appl. Math. 152, 1-15. (Pubitemid 36290360)
9. E. Anderson, Z. Bai, C. Bischof, J. Demmel, J. Dongarra, J. du Croz, A. Greenbaum, S. Hammarling, A. McKenney, S. Ostrouchov and D. C. Sorensen (1995), LAPACK User's Guide, Release 2.0, 2nd edn, SIAM, Philadelphia.
10. M. V. A. Andrade, J. L. D. Comba and J. Stolfi (1994), Affine arithmetic. Extended abstract, presented at INTERVAL'94, St. Petersburg.
11. ARITHMOS (1986), ARITHMOS: Benutzerhandbuch, Siemens AG, Bibl.-Nr. U 2900-I-Z87-1 edition.
12. M. Aschbacher (1994), Sporadic Groups, Cambridge University Press.
13. A. Avizienis (1961), 'Signed-digit number representations for fast parallel arithmetic', Ire Trans. Electron. Comp. EC-10, 389-400.
14. H. Bauer (1978), Wahrscheinlichkeitstheorie und Grundzüge der Maβtheorie, 3rd edn, de Gruyter, Berlin.
15. O. Beaumont (2000), Solving interval linear systems with oblique boxes. Research report PI 1315, INRIA.
16. H. Behnke (1989), Die Bestimmung von Eigenwertschranken mit Hilfe von Variationsmethoden und Intervallarithmetik. Dissertation, Institut für Mathematik, TU Clausthal.
17. H. Behnke and F. Goerisch (1994), Inclusions for eigenvalues of selfadjoint problems. In Topics in Validated Computations (J. Herzberger, ed.), Studies in Computational Mathematics, Elsevier, Amsterdam, pp. 277-322.
18. A. Ben-Tal and A. Nemirovskii (2001), Lectures on Modern Convex Optimization: Analysis, Algorithms, and Engineering Applications, SIAM, Philadelphia.
19. F. Bernelli Zazzera, M. Vasile, M. Massari and P. di Lizia (2004), Assessing the accuracy of interval arithmetic estimates in space flight mechanics. Final report, Ariadna id: 04/4105, Contract Number: 18851/05/NL/MV.
20. Y. Bertot and P. Castéran (2004), Interactive Theorem Proving and Program Development, Coq'Art: The Calculus of Inductive Constructions, Texts in Theoretical Computer Science, Springer.
21. M. Berz and K. Makino (1999), 'New methods for high-dimensional verified quadrature', Reliable Computing 5, 13-22. (Pubitemid 129579067)
22. C. H. Bischof, A. Carle, G. Corliss and A. Griewank (1991), ADIFOR: Generating derivative codes from Fortran programs. Technical report, Mathematics and Computer Science Division, Argonne National Laboratory.
23. B. Borchers (1999), 'SDPLIB 1.2: A library of semidefinite programming test problems', Optim. Methods Software 11, 683-690.
24. F. Bornemann, D. Laurie, S. Wagon and J. Waldvogel (2004), The SIAM 100-Digit Challenge: A Study in High-Accuracy Numerical Computing, SIAM, Philadelphia.
25. N. C. Börsken (1978), Komplexe Kreis-Standardfunktionen. Diplomarbeit, Freiburger Intervall-Ber. 78/2, Institut für Angewandte Mathematik, Universität Freiburg.
26. K. D. Braune (1987), Hochgenaue Standardfunktionen für reelle und komplexe Punkte und Intervalle in beliebigen Gleitpunktrastern. Dissertation, Universität Karlsruhe.
27. B. Breuer, J. Horák, P. J. McKenna and M. Plum (2006), 'A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam', J. Diff. Equations 224, 60-97. (Pubitemid 43585102)
28. B. Breuer, P. J. McKenna and M. Plum (2003), 'Multiple solutions for a semilinear boundary value problem: A computational multiplicity proof', J. Diff. Equations 195, 243-269. (Pubitemid 37457223)
29. B. M. Brown, D. K. R. McCormack and A. Zettl (2000), 'On a computer assisted proof of the existence of eigenvalues below the essential spectrum of the Sturm-Liouville problem', J. Comput. Appl. Math. 125, 385-393. (Pubitemid 32034887)
30. M. W. Browne (1988), Is a math proof a proof if no one can check it? The New York Times, December 1988, p. 1.
31. J. R. Bunch, J. W. Demmel and C. F. Van Loan (1989), 'The strong stability of algorithms for solving symmetric linear systems', SIAM J. Matrix Anal. Appl. 10, 494-499.
32. F. Bünger (2008), private communication.
33. O. Caprani and K. Madsen (1978), 'Iterative methods for interval inclusion of fixed points', BIT Numer. Math. 18, 42-51.
34. F. Chatelin (1988), Analyse statistique de la qualité numérique et arithmétique de la résolution approchée d'équations par calcul sur ordinateur. Technical Report F.133, Centre Scientifique IBM-France.
35. Y. S. Choi and P. J. McKenna (1993), 'A mountain pass method for the numerical solutions of semilinear elliptic problems', Nonlinear Anal. Theory Methods Appl. 20, 417-437.
36. L. Collatz (1942), 'Einschließungssatz für die charakteristischen Zahlen von Matrizen', Math. Z. 48, 221-226.
37. G. F. Corliss and L. B. Rall (1987), 'Adaptive, self-validating numerical quadrature', SIAM J. Sci. Statist. Comput. 8, 831-847.
38. G. Corliss, C. Faure, A. Griewank, L. Hascöet and U. Nauman (2002), Automatic Differentiation of Algorithms: From Simulation to Optimization, Springer.
39. A. Cuyt, B. Verdonk, S. Becuwe and P. Kuterna (2001), 'A remarkable example of catastrophic cancellation unraveled', Computing 66, 309-320. (Pubitemid 32609030)
40. E. N. Dancer and S. S. Yan (2005), 'On the superlinear Lazer-McKenna conjecture', J. Diff. Equations 210, 317-351. (Pubitemid 40251067)
41. G. Darboux (1876), 'Sur les développements en série des fonctions d'une seule variable', J. des Mathématiques Pures et Appl. 3, 291-312.
42. M. Daumas, G. Melquiond and C. Muñoz (2005), Guaranteed proofs using interval arithmetic. In Proc. 17th IEEE Symposium on Computer Arithmetic (ARITH'05).
43. T. J. Dekker (1971), 'A floating-point technique for extending the available precision', Numer. Math. 18, 224-242.
44. J. B. Demmel (1989), On floating point errors in Cholesky. LAPACK Working Note 14 CS-89-87, Department of Computer Science, University of Tennessee, Knoxville, TN, USA.
45. J. B. Demmel, B. Diament and G. Malajovich (2001), 'On the complexity of computing error bounds', Found. Comput. Math. 1, 101-125. (Pubitemid 33681691)
46. J. B. Demmel, I. Dumitriu, O. Holtz and P. Koev (2008), Accurate and efficient expression evaluation and linear algebra. In Acta Numerica, Vol. 17, Cambridge University Press, pp. 87-145.
47. J. B. Demmel, Y. Hida, W. Kahan, X. S. Li, S. Mukherjee and E. J. Riedy (2004), Error bounds from extra precise iterative refinement. Report no. ucb/csd-04-1344, Computer Science Devision (EECS), University of California, Berkeley.
48. P. S. Dwyer (1951), tLinear Computations, Wiley, New York/London.
49. C. Eckart and G. Young (1936), 'The approximation of one matrix by another of lower rank', Psychometrika 1, 211-218.
50. J.-P. Eckmann, H. Koch and P. Wittwer (1984), 'A computer-assisted proof of universality for area-preserving maps', Mem. Amer. Math. Soc. 47, 289.
51. P. Eijgenraam (1981), The solution of initial value problems using interval arithmetic.
52. B. Fazekas, M. Plum and C. Wieners (2005), Enclosure for biharmonic equation. In Dagstuhl Online Seminar Proceedings 05391. http://drops.dagstuhl. de/portal/05391/.
53. L. H. de Figueiredo and J. Stolfi (2004), 'Affine arithmetic: Concepts and applications', Numer. Algorithms 37, 147-158. (Pubitemid 39604462)
54. L. V. Foster (1994), 'Gaussian elimination with partial pivoting can fail in practice', SIAM J. Matrix Anal. Appl. 14, 1354-1362.
55. L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier and P. Zimmermann (2005), MPFR: A multiple-precision binary floating-point library with correct rounding. Research Report RR-5753, INRIA. Code and documentation available at: http://hal.inria.fr/inria-00000818.
56. A. Frommer (2001), Proving conjectures by use of interval arithmetic. In Perspectives on Enclosure Methods: SCAN 2000 (U. Kulisch et al., ed.), Springer.
57. Z. Galias and P. Zgliczynski (1998), 'Computer assisted proof of chaos in the Lorenz equations', Physica D 115, 165-188. (Pubitemid 128676553)
58. I. Gargantini and P. Henrici (1972), 'Circular arithmetic and the determination of polynomial zeros', Numer. Math. 18, 305-320.
59. B. Gidas, W. Ni and L. Nirenberg (1979), 'Symmetry and related problems via the maximum principle', Comm. Math. Phys. 68, 209-243.
60. D. Gilbarg and N. S. Trudinger (1983), Elliptic Partial Differential Equations of Second Order, 2nd edn, Springer.
61. D. Goldberg (1991), 'What every computer scientist should know about floatingpoint arithmetic', ACM Comput. Surv. 23, 5-48. (Pubitemid 21723680)
62. M. J. C. Gordon (2000), From LCF to HOL: A short history. In Proof, Language, and Interaction: Essays in Honour of Robin Milner (G. Plotkin, C. Stirling and M. Tofte, eds), MIT Press. http://www.cl.cam.ac.uk/~mjcg/papers/ HolHistory.html.
63. D. Gorenstein, R. Lyons and R. Solomon (1994), The Classification of the Finite Simple Groups, Vol. 40 of Math. Surveys Monographs, AMS, Providence, RI.
64. A. Griewank (2003), A mathematical view of automatic differentiation. In Acta Numerica, Vol. 12, Cambridge University Press, pp. 321-398.
65. P. Grisvard (1985), Elliptic Problems in Nonsmooth Domains, Pitman, Boston.
66. E. Hansen (1969), The centered form. In Topics in Interval Analysis (E. Hansen, ed.), Oxford University Press, pp. 102-106.
67. E. R. Hansen and R. Smith (1967), 'Interval arithmetic in matrix computations II', SIAM J. Numer. Anal. 4, 1-9.
68. G. Hargreaves (2002), Interval analysis in MATLAB. Master's thesis, University of Manchester. http://www.manchester.ac.uk/mims/eprints.
69. J. Hass, M. Hutchings and R. Schlafly (1995), 'The double bubble conjecture', Electron. Res. Announc. Amer. Math. Soc. 1, 98-102.
70. D. J. Higham and N. J. Higham (1992a), 'Componentwise perturbation theory for linear systems with multiple right-hand sides', Linear Algebra Appl. 174, 111-129.
71. D. J. Higham and N. J. Higham (1992b), 'Backward error and condition of structured linear systems', SIAM J. Matrix Anal. Appl. 13, 162-175.
72. N. J. Higham (2002), Accuracy and Stability of Numerical Algorithms, 2nd edn, SIAM, Philadelphia.
73. J. Hölzl (2009), Proving real-valued inequalities by computation in Isabelle/HOL. Diplomarbeit, Fakultät für Informatik der Technischen Universität München.
74. IEEE 754 (2008), ANSI/IEEE 754-2008: IEEE Standard for Floating-Point Arithmetic, New York.
75. C. Jansson (1991), 'Interval linear systems with symmetric matrices, skew-symmetric matrices, and dependencies in the right hand side', Computing 46, 265-274. (Pubitemid 21707925)
76. C. Jansson (1994), On self-validating methods for optimization problems. In Topics in Validated Computations (J. Herzberger, ed.), Studies in Computational Mathematics, Elsevier, Amsterdam, pp. 381-438.
77. C. Jansson (1997), 'Calculation of exact bounds for the solution set of linear interval systems', Linear Algebra Appl. 251, 321-340.
78. C. Jansson (2004a), 'A rigorous lower bound for the optimal value of convex optimization problems', J. Global Optim. 28, 121-137.
79. C. Jansson (2004b), 'Rigorous lower and upper bounds in linear programming', SIAM J. Optim. 14, 914-935. (Pubitemid 39073318)
80. C. Jansson (2006), VSDP: A MATLAB software package for verified semidefinite programming. In NOLTA 2006, pp. 327-330.
81. C. Jansson (2009), 'On verified numerical computations in convex programming', Japan J. Indust. Appl. Math. 26, 337-363.
82. C. Jansson and J. Rohn (1999), 'An algorithm for checking regularity of interval matrices', SIAM J. Matrix Anal. Appl. 20, 756-776. (Pubitemid 129332600)
83. C. Jansson, D. Chaykin and C. Keil (2007), 'Rigorous error bounds for the optimal value in semidefinite programming', SIAM J. Numer. Anal. 46, 180-200. http://link.aip.org/link/?SNA/46/180/1.
84. W. M. Kahan (1968), A more complete interval arithmetic. Lecture notes for a summer course at the University of Michigan.
85. Y. Kanzawa and S. Oishi (1999a), 'Imperfect singular solutions of nonlinear equations and a numerical method of proving their existence', IEICE Trans. Fundamentals E82-A, 1062-1069.
86. Y. Kanzawa and S. Oishi (1999b), 'Calculating bifurcation points with guaranteed accuracy', IEICE Trans. Fundamentals E82-A, 1055-1061.
87. T. Kato (1966), Perturbation Theory for Linear Operators, Springer, New York.
88. R. B. Kearfott (1997), 'Empirical evaluation of innovations in interval branch and bound algorithms for nonlinear systems', SIAM J. Sci. Comput. 18, 574-594. (Pubitemid 127642986)
89. R. B. Kearfott, M. Dawande, K. du and C. Hu (1992), 'INTLIB: A portable Fortran-77 elementary function library', Interval Comput. 3, 96-105.
90. R. B. Kearfott, J. Dian and A. Neumaier (2000), 'Existence verification for singular zeros of complex nonlinear systems', SIAM J. Numer. Anal. 38, 360-379. (Pubitemid 33779237)
91. R. B. Kearfott, M. T. Nakao, A. Neumaier, S. M. Rump, S. P. Shary and P. van Hentenfyck (2005) Standardized notation in interval analysis. In Proc. XIII Baikal International School-Seminar: Optimization Methods and their Applications, Vol. 4, Melentiev Energy Systems Institute SB RAS, Irkutsk.
92. C. Keil (2006), Lurupa: Rigorous error bounds in linear programming. In Algebraic and Numerical Algorithms and Computer-assisted Proofs (B. Buchberger, S. Oishi, M. Plum and S. M. Rump, eds), Vol. 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs-und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. http://drops.dagstuhl.de/opus/ volltexte/2006/445.
93. C. Keil and C. Jansson (2006), 'Computational experience with rigorous error bounds for the Netlib linear programming library', Reliable Computing 12, 303-321. http://www.optimization-online.org/DB HTML/2004/12/1018.html. (Pubitemid 44199972)
94. R. Klatte, U. Kulisch, A. Wiethoff, C. Lawo and M. Rauch (1993), C-XSC A C++ Class Library for Extended Scientific Computing, Springer, Berlin.
95. O. Knüppel (1994), 'PROFIL/BIAS: A fast interval library', Computing 53, 277-287.
96. O. Knüppel (1998), PROFIL/BIAS and extensions, Version 2.0. Technical report, Institut für Informatik III, Technische Universität Hamburg-Harburg.
97. D. E. Knuth (1969), The Art of Computer Programming: Seminumerical Algorithms, Vol. 2, Addison-Wesley, Reading, MA.
98. L. V. Kolev and V. Mladenov (1997), Use of interval slopes in implementing an interval method for global nonlinear DC circuit analysis. Internat. J. Circuit Theory Appl. 12, 37-42.
99. W. Krämer (1987), Inverse Standardfunktionen für reelle und komplexe Intervallargumente mit a priori Fehlerabschätzung für beliebige Datenformate. Dissertation, Universität Karlsruhe.
100. W. Krämer (1991), Verified solution of eigenvalue problems with sparse matrices. In Proc. 13th World Congress on Computation and Applied Mathematics, pp. 32-33.
101. R. Krawczyk (1969a), 'Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken', Computing 4, 187-201.
102. R. Krawczyk (1969b), 'Fehlerabschätzung reeller Eigenwerte und Eigenvektoren von Matrizen', Computing 4, 281-293.
103. R. Krawczyk and A. Neumaier (1985), 'Interval slopes for rational functions and associated centered forms', SIAM J. Numer. Anal. 22, 604-616. (Pubitemid 15511156)
104. V. Kreinovich, A. V. Lakeyev and S. I. Noskov (1993), 'Optimal solution of interval linear systems is intractable (NP-hard) ', Interval Comput. 1, 6-14.
105. V. Kreinovich, A. Neumaier and G. Xiang (2008), 'Towards a combination of interval and ellipsoid uncertainty', Vych. Techn. (Computational Technologies) 13, 5-16.
106. U. Kulisch (1981), Computer Arithmetic in Theory and Practice, Academic Press.
107. M. la Porte and J. Vignes (1974), 'Etude statistique des erreurs dans l'arithmétique des ordinateurs: Application au contrôle des résultats d'algorithmes númeriques', Numer. Math. 23, 63-72.
108. O. A. Ladyzhenskaya and N. N. Uraĺtseva (1968), Linear and Quasilinear Elliptic Equations, Academic Press, New York.
109. J. Lahmann and M. Plum (2004), 'A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile', Z. Angew. Math. Mech. 84, 188-204.
110. C. W. H. Lam, L. Thiel and S. Swiercz (1989), 'The nonexistence of finite projective planes of order 10', Canad. J. Math. 41, 1117-1123.
111. N. J. Lehmann (1963), 'Optimale Eigenwerteinschließung', Numer. Math. 5, 246-272.
112. X. S. Li, J. W. Demmel, D. H. Bailey, G. Henry, Y. Hida, J. Iskandar, W. Kahan, S. Y. Kang, A. Kapur, M. C. Martin, B. J. Thompson, T. Tung and D. J. Yoo (2002), 'Design, implementation and testing of extended and mixed precision BLAS', ACM Trans. Math. Software 28, 152-205. (Pubitemid 135701674)
113. E. Loh and W. Walster (2002), 'Rump's example revisited', Reliable Computing 8, 245-248. (Pubitemid 34562698)
114. R. Lohner (1988), Einschliesßung der Lösung gewöhnlicher Anfangs-und Randwertaufgaben und Anordnungen. PhD thesis, University of Karlsruhe.
115. Maple (2009), Release 13, Reference Manual.
116. S. Markov and K. Okumura (1999), The contribution of T. Sunaga to interval analysis and reliable computing. In Developments in Reliable Computing (T. Csendes, ed.), Kluwer, pp. 167-188.
117. Mathematica (2009), Release 7.0, Reference Manual.
118. MATLAB (2004), User's Guide, Version 7, The MathWorks.
119. R. E. Moore (1962), Interval arithmetic and automatic error analysis in digital computing. Dissertation, Stanford University.
120. R. E. Moore (1966), Interval Analysis, Prentice-Hall, Englewood Cliffs.
121. R. E. Moore (1977), 'A test for existence of solutions for non-linear systems', SIAM J. Numer. Anal. 4, 611-615.
122. R. E. Moore (1999), 'The dawning', Reliable Computing 5, 423-424.
123. R. E. Moore, R. B. Kearfott and M. J. Cloud (2009), Introduction To Interval Analysis, Cambridge University Press.
124. J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefèvre, G. Melquiond, R. Revol, D. Stehlé and S. Torres (2009), Handbook of Floating-Point Arithmetic, Birkhäuser, Boston.
125. K. Nagatou, M. T. Nakao and N. Yamamoto (1999), 'An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness', Numer. Funct. Anal. Optim. 20, 543-565.
126. M. T. Nakao (1988), 'A numerical approach to the proof of existence of solutions for elliptic problems', Japan J. Appl. Math. 5, 313-332.
127. -1type residual iteration. Computing (Suppl.) 9, 161-173.
128. M. T. Nakao and N. Yamamoto (1995), 'Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite elements', J. Comput. Appl. Math. 60, 271-279.
129. M. T. Nakao, K. Hashimoto and Y. Watanabe (2005), 'A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems', Computing 75, 1-14. (Pubitemid 41118332)
130. N. S. Nedialkov (1999), Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation. PhD dissertation, University of Toronto, Canada.
131. N. S. Nedialkov and K. R. Jackson (2000), ODE software that computes guaranteed bounds on the solution. In Advances in Software Tools for Scientic Computing (H. P. Langtangen, A. M. Bruaset and E. Quak, eds), Springer, pp. 197-224.
132. NETLIB (2009), Linear Programming Library. http://www.netlib.org/lp.
133. A. Neumaier (1974), 'Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen', Z. Angew. Math. Mech. 54, 39-51.
134. A. Neumaier (1984), 'New techniques for the analysis of linear interval equations', Linear Algebra Appl. 58, 273-325.
135. A. Neumaier (1987), 'Overestimation in linear interval equations', SIAM J. Numer. Anal. 24, 207-214.
136. A. Neumaier (1988), 'An existence test for root clusters and multiple roots', Z. Angew. Math. Mech. 68, 256-257.
137. A. Neumaier (1989), 'Rigorous sensitivity analysis for parameter-dependent systems of equations', J. Math. Anal. Appl. 144, 16-25.
138. A. Neumaier (1990), Interval Methods for Systems of Equations, Encyclopedia of Mathematics and its Applications, Cambridge University Press.
139. A. Neumaier (1993), 'The wrapping effect, ellipsoid arithmetic, stability and confidence regions', Computing Supplementum 9, 175-190.
140. A. Neumaier (2001), Introduction to Numerical Analysis, Cambridge University Press.
141. A. Neumaier (2002), 'Grand challenges and scientific standards in interval analysis', Reliable Computing 8, 313-320. (Pubitemid 34798603)
142. A. Neumaier (2003), 'Enclosing clusters of zeros of polynomials', J. Comput. Appl. Math. 156, 389-401. (Pubitemid 36910933)
143. A. Neumaier (2004), Complete search in continuous global optimization and constraint satisfaction. In Acta Numerica, Vol. 13, Cambridge University Press, pp. 271-369. (Pubitemid 38773595)
144. A. Neumaier (2009), FMathL: Formal mathematical language. http://www.mat.univie.ac.at/~neum/FMathL.html.
145. A. Neumaier (2010), 'Improving interval enclosures', Reliable Computing. To appear.
146. A. Neumaier and T. Rage (1993), 'Rigorous chaos verification in discrete dynamical systems', Physica D 67, 327-346.
147. A. Neumaier and O. Shcherbina (2004), 'Safe bounds in linear and mixed-integer programming', Math. Program. A 99, 283-296. (Pubitemid 40871723)
148. W. Oettli and W. Prager (1964.), 'Compatibility of approximate solution of linear equations with given error bounds for coefficients and right-hand sides', Numer. Math. 6, 405-409
149. T. Ogita, S. Oishi and Y. Ushiro (2001), 'Fast verification of solutions for sparse monotone matrix equations', Comput. Suppl. 15, 175-187.
150. S. Oishi (1998), private communication.
151. S. Oishi (2000), Numerical Methods with Guaranteed Accuracy (in Japanese), Corona-sya.
152. S. Oishi and S. M. Rump (2002), 'Fast verification of solutions of matrix equations', Numer. Math. 90, 755-773. (Pubitemid 36161560)
153. T. Okayama, T. Matsuo and M. Sugihara (2009), Error estimates with explicit constants for sinc approximation, sinc quadrature and sinc indefinite integration. Technical Report METR2009-01, The University of Tokyo.
154. J. B. Oliveira and L. H. de Figueiredo (2002) 'Interval computation of Viswanath's constant', Reliable Computing 8, 131-138. (Pubitemid 34254808)
155. F. Ordóñez and R. M. Freund (2003), 'Computational experience and the explanatory value of condition measures for linear optimization', SIAM J. Optim. 14, 307-333. (Pubitemid 38614139)
156. M. Overton (2001), Numerical Computing with IEEE Floating Point Arithmetic, SIAM, Philadelphia.
157. A. Ovseevich and F. Chernousko (1987), 'On optimal ellipsoids approximating reachable sets', Problems of Control and Information Theory 16, 125-134. (Pubitemid 17655524)
158. M. Payne and R. Hanek (1983), 'Radian reduction for trigonometric functions', SIGNUM Newsletter 18, 19-24.
159. K. Petras (2002), 'Self-validating integration and approximation of piecewise analytic functions', J. Comput. Appl. Math. 145, 345-359.
160. M. Plum (1992), 'Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems', Computing 49, 25-44.
161. M. Plum (1994), 'Enclosures for solutions of parameter-dependent nonlinear elliptic boundary value problems: Theory and implementation on a parallel computer', Interval Comput. 3, 106-121.
162. M. Plum (1995), 'Existence and enclosure results for continua of solutions of parameter-dependent nonlinear boundary value problems', J. Comput. Appl. Math. 60, 187-200.
163. M. Plum (1996), Enclosures for two-point boundary value problems near bifurcation points. In Scientific Computing and Validated Numerics: Proc. International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN-95 (G. Alefeld et al., eds), Vol. 90 of Math. Res., Akademie Verlag, Berlin, pp. 265-279. (Pubitemid 126063881)
164. M. Plum (1997), 'Guaranteed numerical bounds for eigenvalues', In Spectral Theory and Computational Methods of Sturm-Liouville Problems: Proc. 1996 Conference, Knoxville, TN, USA (D. Hinton et al., eds), Vol. 191 of Lect. Notes Pure Appl. Math., Marcel Dekker, New York, pp. 313-332.
165. M. Plum (2008), 'Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance', DMV Jahresbericht 110, 19-54.
166. M. Plum and C. Wieners (2002), 'New solutions of the Gelfand problem', J. Math. Anal. Appl. 269, 588-606.
167. S. Poljak and J. Rohn (1993), 'Checking robust nonsingularity is NP-hard', Math. Control, Signals, and Systems 6, 1-9. (Pubitemid 23690965)
168. L. B. Rall (1981), Automatic Differentiation: Techniques and Applications, Vol. 120 of Lecture Notes in Computer Science, Springer.
169. H. Ratschek and J. Rokne (1984), Computer Methods for the Range of Functions, Halsted Press, New York.
170. A. Rauh, E. Auer and E. P. Hofer (2006), ValEncIA-IVP: A comparison with other initial value problem solvers. In Proc. 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN, Duisburg.
171. K. Rektorys (1980), Variational methods in mathematics. In Science and Engineering, 2nd edn, Reidel, Dordrecht.
172. F. N. Ris (1972), Interval analysis and applications to linear algebra. PhD dissertation, Oxford University.
173. R. H. Risch (1969), 'The problem of integration in finite terms', Trans. Amer. Math. Soc. 139, 167-189.
174. J. Rohn (1994), NP-hardness results for linear algebraic problems with interval data. In Topics in Validated Computations (J. Herzberger, ed.), Studies in Computational Mathematics, Elsevier, Amsterdam, pp. 463-471.
175. J. Rohn (2005), A handbook of results on interval linear problems. http://www.cs.cas.cz/rohn/handbook.
176. J. Rohn (2009a), 'Forty necessary and sufficient conditions for regularity of interval matrices: A survey', Electron. J. Linear Algebra 18, 500-512.
177. J. Rohn (2009b), VERSOFT: Verification software in MATLAB/INTLAB. http://uivtx.cs.cas.cz/~rohn/matlab.
178. J. Rohn and V. Kreinovich (1995), 'Computing exact componentwise bounds on solutions of linear system is NP-hard', SIAM J. Matrix Anal. Appl. 16, 415-420.
179. S. M. Rump (1980), Kleine Fehlerschranken bei Matrixproblemen. PhD thesis, Universität Karlsruhe.
180. S. M. Rump (1983), Solving algebraic problems with high accuracy. Habilitationsschrift, published in A New Approach to Scientific Computation (U. W. Kulisch and W. L. Miranker, eds), Academic Press, pp. 51-120.
181. S. M. Rump (1990), 'Rigorous sensitivity analysis for systems of linear and nonlinear equations', Math. Comput. 54, 721-736.
182. S. M. Rump (1994), Verification methods for dense and sparse systems of equations. In Topics in Validated Computations (J. Herzberger, ed.), Elsevier, Studies in Computational Mathematics, Amsterdam, pp. 63-136.
183. S. M. Rump (1999a), INTLAB: INTerval LABoratory. In Developments in Reliable Computing (T. Csendes, ed.), Kluwer, Dordrecht, pp. 77-104. http://www.ti3.tu-harburg.de/rump/intlab/index.html.
184. S. M. Rump (1999b), 'Fast and parallel interval arithmetic', BIT Numer. Math. 39, 539-560.
185. S. M. Rump (2001a), Rigorous and portable standard functions. BIT Numer. Math. 41, 540-562. (Pubitemid 33636117)
186. S. M. Rump (2001b), 'Computational error bounds for multiple or nearly multiple eigenvalues', Linear Algebra Appl. 324, 209-226.
187. S. M. Rump (2003a), 'Ten methods to bound multiple roots of polynomials', J. Comput. Appl. Math. 156, 403-432. (Pubitemid 36910934)
188. S. M. Rump (2003b), 'Structured perturbations I: Normwise distances', SIAM J. Matrix Anal. Appl. 25, 1-30.
189. S. M. Rump (2003c), 'Structured perturbations II: Componentwise distances', SIAM J. Matrix Anal. Appl. 25, 31-56.
190. S. M. Rump (2006), 'Eigenvalues, pseudospectrum and structured perturbations', Linear Algebra Appl. 413, 567-593. (Pubitemid 43153796)
191. S. M. Rump (2009), 'Ultimately fast accurate summation', SIAM J. Sci. Comput. 31, 3466-3502.
192. S. M. Rump and S. Graillat (2009), Verified error bounds for multiple roots of systems of nonlinear equations. To appear in Numer. Algorithms; published online at Numer Algor DOI 10.1007/s11075-009-9339-3.
193. S. M. Rump and S. Oishi (2009), Verified error bounds for multiple roots of nonlinear equations. In Proc. International Symposium on Nonlinear Theory and its Applications: NOLTA'09.
194. S. M. Rump and H. Sekigawa (2009), 'The ratio between the Toeplitz and the unstructured condition number', Operator Theory: Advances and Applications 199, 397-419.
195. S. M. Rump and J. Zemke (2004), 'On eigenvector bounds', BIT Numer. Math. 43, 823-837. (Pubitemid 39064037)
196. S. M. Rump, T. Ogita and S. Oishi (2008), 'Accurate floating-point summation I: Faithful rounding', SIAM J. Sci. Comput. 31, 189-224.
197. N. V. Sahinidis and M. Tawaralani (2005), 'A polyhedral branch-and-cut approach to global optimization', Math. Program. B 103, 225-249. (Pubitemid 40878749)
198. H. Schichl and A. Neumaier (2004), 'Exclusion regions for systems of equations', SIAM J. Numer. Anal. 42, 383-408. (Pubitemid 40408028)
199. H. Schichl and A. Neumaier (2005), 'Interval analysis on directed acyclic graphs for global optimization', J. Global Optim. 33, 541-562. (Pubitemid 41690335)
200. S. P. Shary (2002), 'A new technique in systems analysis under interval uncertainty and ambiguity', Reliable Computing 8, 321-419.
201. G. W. Stewart (1990), 'Stochastic perturbation theory', SIAM Rev. 32, 579-610.
202. T. Sunaga (1956), Geometry of numerals. Master's thesis, University of Tokyo.
203. T. Sunaga (1958), 'Theory of an interval algebra and its application to numerical analysis', RAAG Memoirs 2, 29-46.
204. A. Takayasu, S. Oishi and T. Kubo (2009a), Guaranteed error estimate for solutions to two-point boundary value problem. In Proc. International Symposium on Nonlinear Theory and its Applications: NOLTA'09, pp. 214-217.
205. A. Takayasu, S. Oishi and T. Kubo (2009b), Guaranteed error estimate for solutions to linear two-point boundary value problems with FEM. In Proc. Asia Simulation Conference 2009 (JSST 2009), Shiga, Japan, pp. 1-8.
206. M. Tawaralani and N. V. Sahinidis (2004), 'Global optimization of mixed-integer nonlinear programs: A theoretical and computational study', Math. Program. 99, 563-591. (Pubitemid 40871718)
207. M. J. Todd (2001), Semidefinite programming. In Acta Numerica, Vol. 10, Cambridge University Press, pp. 515-560.
208. L. N. Trefethen (2002), 'The SIAM 100-dollar, 100-digit challenge', SIAM-NEWS 35, 2. http://www.siam.org/siamnews/06-02/challengedigits.pdf.
209. L. N. Trefethen and R. Schreiber (1990), 'Average-case stability of Gaussian elimination', SIAM J. Matrix Anal. Appl. 11, 335-360.
210. W. Tucker (1999), 'The Lorenz attractor exists', CR Acad. Sci., Paris, Sér. I, Math. 328, 1197-1202.
211. R. H. Tütüncü, K. C. Toh and M. J. Todd (2003), 'Solving semidefinite-quadraticlinear programs using SDPT3', Math. Program. B 95, 189-217. (Pubitemid 44757853)
212. L. Vandenberghe and S. Boyd (1996), 'Semidefinite programming', SIAM Review 38, 49-95. (Pubitemid 126610912)
213. J. Vignes (1978), 'New methods for evaluating the validity of the results of mathematical computations', Math. Comp. Simul. XX, 227-249. (Pubitemid 9419141)
214. J. Vignes (1980), Algorithmes Numériques: Analyse et Mise en Oeuvre 2: Equations et Systèmes Non Linéaires, Collection Langages et Algorithmes de l'Informatique, Editions Technip, Paris.
215. D. Viswanath (1999) 'Random Fibonacci sequences and the number 1.13198824...', Math. Comp. 69, 1131-1155.
216. D. Viswanath and L. N. Trefethen (1998), 'Condition numbers of random triangular matrices', SIAM J. Matrix Anal. Appl. 19, 564-581.
217. M. Warmus (1956), 'Calculus of approximations', Bulletin de l'Academie Polonaise des Sciences 4, 253-259.
218. B. Werner and A. Spence (1984), 'The computation of symmetry-breaking bifurcation points', SIAM J. Numer. Anal. 21, 388-399.
219. J. H. Wilkinson (1965), The Algebraic Eigenvalue Problem, Clarendon Press, Oxford.
220. S. J. Wright (1993), 'A collection of problems for which Gaussian elimination with partial pivoting is unstable', SIAM J. Sci. Comput. 14, 231-238.
221. N. Yamanaka, T. Okayama, S. Oishi and T. Ogita (2009), 'A fast verified automatic integration algorithm using double exponential formula', RIMS Kokyuroku 1638, 146-158.
222. R. C. Young (1931), 'The algebra of many-valued quantities', Mathematische Annalen 104, 260-290.
223. Y.-K. Zhu, J.-H. Yong and G.-Q. Zheng (2005), 'A new distillation
224. G. Zielke and V. Drygalla (2003), 'Genaue Lösung linearer Gleichungssysteme', GAMM Mitt. Ges. Angew. Math. Mech. 26, 7-108.
225. S. Zimmermann and U. Mertins (1995), 'Variational bounds to eigenvalues of selfadjoint eigenvalue problems with arbitrary spectrum', Z. Anal. Anwendungen 14, 327-345.