Validated numerics: A short introduction to rigorous computations

Validated Numerics: A Short Introduction to Rigorous Computations

Volumn , Issue , 2011, Pages

  Tucker, Warwick ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84861948473     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (62)

1. Aberth, O. Precise Numerical Analysis. Wm. C. Brown Publishers, Dubuque, 1988.
2. Aberth, O. Precise Numerical Methods Using C++. Academic Press, New York, 1998.
3. Alefeld, G., Herzberger, J. Introduction to Interval Computations. Academic Press, New York, 1983.
4. Banach, S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales, Fundamenta Mathematicæ 3, 133-81, 1922.
5. Berz, M. From Taylor Series to Taylor Models, in Beam Stability and Nonlinear Dynamics, AIP Conference Proceedings 405, 1997.
6. Bendtsen, C., Stauning, O. TADIFF, A Flexible C++ Package for Automatic Differentiation, Technical Report, IMM-REP-1997-07, Lyngby, 1997.
7. Berz, M., Makino, K. Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models, Reliable Computing 4, 361-69, 1998.
8. Brouwer, L.E.J. Über Abbildung von Mannigfaltigkeiten, Mathematische Annalen 71, 97-115, 1910.
9. Corliss, G. Which Root Does the Bisection Algorithm Find? SIAM Review 19, 325-27, 1997.
10. Cuyt, A., Verdonk, B., Kuterna, P. A Remarkable Example of Catastrophic Cancellation Unraveled, Computing 66, 309-20, 2001.
11. CXSC-C++ eXtension for Scientific Computation, version 2.0. Available at http://www.math.uni-wuppertal.de/org/WRST/xsc/cxsc.html.
12. Dwyer, P. S. Linear Computations. John Wiley, New York, 1951.
13. Eugene, L., Walster, W. G. Rump's Example Revisited, Reliable Computing 8, 245-48, 2002.
14. de Figueiredo, L. H., Stolfi, J. Métodos numéricos auto-validados e aplicações. Braz. Math. Colloq. 21, IMPA, Rio de Janeiro, 1997.
15. Gabai, D., Meyerhoff, G. R., Thurston, N. Homotopy Hyperbolic 3-Manifolds Are Hyperbolic, Annals of Mathematics 157:2, 335-431, 2003.
16. Garnatz, P. G. CRAY T90 Series IEEE Floating Point Migration Issues and Solutions, Cray User Group 1996 Spring Proceedings, 345-49, 1996.
17. Goldberg, D. What Every Computer Scientist Should Know about Floating-Point Arithmetic, Computing Surveys 23:1, 5-48, 1991.
18. Griewank, A. Evaluating Derivatives. SIAM, Philadelphia, 2000.
19. Hammer, R. et al. C++ Toolbox for Verified Computing. Springer-Verlag, Berlin, 1995.
20. Hansen, E. Interval Arithmetic in Matrix Computations, J. SIAM Numer. Anal., Ser. B 2:2, 308-20, 1965.
21. Hansen, E.,Wallster, G.W. Global Optimization Using Interval Analysis, 2nd ed. Marcel Dekker, New York, 2004.
22. Hass, J., Hutchings, M., Schlafly, R. The Double Bubble Conjecture, Electronic Research Announcements of the AMS 1, 98-102, 1995.
23. Higham, N. J. Accuracy and Stability of Numerical Algorithm. SIAM, Philadelphia, 1996.
24. Hille, E. Ordinary Differential Equations in the Complex Domain. John Wiley, New York, 1976.
25. IEEE Standard for Binary Floating-Point Arithmetic. ANSI/IEEE Std 754-1985, 1985.
26. IEEE Standard for Floating-Point Arithmetic. ANSI/IEEE Std 754-2008, 2008.
27. IEEE Standard for Radix-Independent Floating-Point Arithmetic. ANSI/IEEE Std 854-1987, 1987.
28. Jaulin, L., Kieffer, M., Didrit, O. Applied Interval Analysis. Springer-Verlag, London, 2001.
29. Jorba, À., Zou, M. A Software Package for the Numerical Integration of ODE by Means of High-Order Taylor Methods, Experimental Mathematics 14, 99-117, 2005.
30. Kearfott, R. B. Rigorous Global Search: Continuous Problems. Kluwer Academic Publishers, Dordrecht, Netherlands, 1996.
31. Knuth, D. E. The Art of Computer Programming. 3rd ed. Addison-Wesley, Reading, MA, 1998.
32. Koren, I. Computer Arithmetic Algorithms. 2nd ed. A. K. Peters Ltd., Natick, MA, 2002.
33. Krawczyk, R. Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken, Computing 4, 187-201, 1969.
34. Kulisch, U. W., Miranker, W. L. Computer Arithmetic in Theory and Practice. Academic Press, New York, 1981.
35. Lerch, M., Tischler, G., Wolff von Gudenberg, J. FILIB++, a Fast Interval Library Supporting Containment Computations, ACM Trans. Math. Software 32:2, 299-324, 2006.
36. Milnor, J.W. Topology from the Differentiable Viewpoint. Princeton University Press, Princeton, 1965.
37. Moore, R. E. The Automatic Analysis and Control of Error in Digital Computations Based on the Use of Interval Numbers, in Error in Digital Computing, vol. 1. John Wiley, New York, 1965.
38. Moore, R. E. Automatic Error Analysis in Digital Computation. Technical Report Space Div. Report LMSD84821, Lockheed Missiles and Space Company, 1959.
39. Moore, R. E. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966.
40. Moore, R. E. Methods and Applications of Interval Analysis. SIAM Studies in Applied Mathematics, Philadelphia, 1979.
41. Moore, R. E., Kearfoot, B. R., Cloud, M. J. Introduction to Interval Analysis. SIAM Studies in Applied Mathematics, Philadelphia, 2009.
42. Muller, J-M., et al. Handbook of Floating-Point Arithmetic. Birkhäuser, Boston, 2009.
43. Nedialkov, N., Jackson, K., Pryce, J. An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE, Reliable Computing 7, 449-65, 2001.
44. Neumaier, A. Complete Search in Continuous Global Optimization and Constraint Satisfaction, Acta Numerica 13, 271-369, 2004.
45. Neumaier, A. Interval Methods for Systems of Equations. Encyclopedia of Mathematics and Its Applications 37, Cambridge University Press, Cambridge, 1990.
46. Neumaier, A. Introduction to Numerical Analysis. Cambridge University Press, Cambridge, 2001.
47. Overton, M. L. Numerical Computing with IEEE Floating Point Arithmetic. SIAM, Philadelphia, 2001.
48. Petkovic, M., Petkovic, L. Complex Interval Arithmetic and Its Applications. Wiley-VCH, Berlin, 1998.
49. PROFIL/BIAS-Programmer's Runtime Optimized Fast Interval Library/Basic Interval Arithmetic Subroutines. Available at http://www.ti3.tu-harburg.de/Software/PROFILEnglisch.html.
50. Pryce, J. D., Corliss, G. F. Interval Arithmetic with Containment Sets, Computing 78:3, 251-76, 2006.
51. Ratz, D. Inclusion Isotone Extended Interval Arithmetic-A Toolbox Update, FCINE Report No. 5/1996, Universität Karlsruhe, 1996.
52. Rump, S. M. Algorithms for Verified Inclusions: Theory and Practice, in Reliability in Computing: The Role of Interval Methods in Scientific Computing. Academic Press, Boston, 1988.
53. Rump, S. M. INTLAB-INTerval LABoratory, in Tibor Csendes, ed., Developments in Reliable Computing, 77-104. Kluwer Academic Publishers, Dordrecht, 1999. Source code available at http://www.ti3.tu-harburg.de/rump/intlab/.
54. Schwarz, E. M., Krygowski, C. A. The S/390 G5 Floating-Point Unit, IBM J. Res. Development 43: 5/6, 707-21, 1999.
55. Strichartz, R. S. The Way of Analysis. Jones and Bartlett, Boston, 1995.
56. Sunaga, T. Theory of an Interval Algebra and Its Application to Numerical Analysis, RAAG Memoirs 2, 29-46, 1958.
57. Sun Microsystems, Inc. Forte Developer 7: C++ Interval Arithmetic Programming Reference. Available at http://docs.sun.com/app/docs/doc/816-2465.
58. Tucker, W. A Rigorous ODE Solver and Smale's 14th Problem, Found. Comp. Math. 2:1, 53-117, 2002.
59. Walster, W. G., Hansen, E. Global Optimization Using Interval Analysis. Series in Pure and Applied Mathematics, vol. 264, CRC Press, 2003.
60. Warmus, M. Calculus of Approximations, Bulletin de l'Academie Polonaise de Sciences 4:5, 253-57, 1956.
61. Wilkinson, J. H. Rounding Errors in Algebraic Processes. Prentice-Hall, Englewood Cliffs, NJ, 1963.
62. Young, R. C. The Algebra of Multi-valued Quantities, Mathematische Annalen 104, 260-90, 1931.