Interval arithmetic, affine arithmetic, Taylor series methods: Why, what next?

Numerical Algorithms

Volumn 37, Issue 1-4 SPEC. ISS., 2004, Pages 325-336

  Nedialkov, Nedialko S ^a   Kreinovich, Vladik ^b   Starks, Scott A ^b  

^a MCMASTER UNIVERSITY   (Canada)

^b UNIVERSITY OF TEXAS AT EL PASO   (United States)

Author keywords

affine arithmetic; Hermite Obreschkoff method; optimal selection of approximating family; Taylor methods

Indexed keywords

EID: 10044286304     PISSN: 10171398     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:NUMA.0000049478.42605.cf     Document Type: Conference Paper

References (26)

1. M. Berz and G. Hoffstätter, Computation and application of Taylor polynomials with interval remainder bounds, Reliable Comput. 4 (1998) 83-97.
2. M. Berz and K. Makino, Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models, Reliable Comput. 4 (1998) 361-369.
3. M. Berz, K. Makino and J. Hoefkens, Verified integration of dynamics in the solar system, Nonlinear Anal. 47 (2001) 179-190.
4. V.A. Brumberg, Analytical Techniques of Celestial Mechanics (Springer, Berlin, 1995).
5. L.H. de Figueiredo and J. Stolfi, Self-Validated Numerical Methods and Applications (IMPA, Rio de Janeiro, 1997).
6. J. Garloff and A.P. Smith, Solution of systems of polynomial equations by using Bernstein polynomials, in: Symbolic Algebraic Methods and Verification Methods - Theory and Application, eds. G. Alefeld, J. Rohn, S. Rump and T. Yamamoto (Springer, Vienna, 2001) pp. 87-97.
7. E.R. Hansen, A generalized interval arithmetic, in: Interval Mathematics, ed. K. Nickel, Lecture Notes in Computer Science, Vol. 29 (Springer, New York, 1975) pp. 7-18.
8. J. Hoefkens and M. Berz, Verification of invertibility of complicated functions over large domains, Reliable Comput. 8(1) (2002) 1-16.
9. L. Jaulin, M. Kieffer, O. Didrit and E. Walter, Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics (Springer, London, 2001).
10. R.B. Kearfott, Rigorous Global Search: Continuous Problems (Kluwer, Dordrecht, 1996).
11. R.B. Kearfott and V. Kreinovich, eds., Applications of Interval Computations (Kluwer, Dordrecht, 1996).
12. R.B. Kearfott and V. Kreinovich, Where to bisect a box? A theoretical explanation of the experimental results, in: Proc. of MEXICON'98, Workshop on Interval Computations, 4th World Congress on Expert Systems, eds. G. Alefeld and R.A. Trejo, Mexico City, Mexico, 1998.
13. K. Knopp, Theory of Functions (Dover, New York, 1996).
14. V. Kreinovich, Interval rational = algebraic, ACM SIGNUM Newsletter 30(4) (1995) 2-13.
15. V. Kreinovich and T. Csendes, Theoretical justification of a heuristic subbox selection criterion, Central European J. Oper. Res. 9(3) (2001) 255-265.
16. V. Kreinovich and A. Lakeyev, 'Interval rational = algebraic' revisited: A more computer realistic result, ACM SIGNUM Newsletter 31(1) (1996) 14-17.
17. V. Kreinovich, G. Mayer and S. Starks, On a theoretical justification of the choice of epsilon-inflation in PASCAL-XSC, Reliable Comput. 3(4) (1997) 437-452.
18. V. Kreinovich and J. Wolff von Gudenberg, An optimality criterion for arithmetic of complex sets, Geombinatorics 10(1) (2000) 31-37.
19. R. Lohner, Einschliessung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen, Ph.D. thesis, Universität Karlsruhe, Karlsruhe, Germany (1988).
20. R.E. Moore, Methods and Applications of Interval Analysis (SIAM, Philadelphia, PA, 1979).
21. N.S. Nedialkov and K.R. Jackson, An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation, Reliable Comput. 5(3) (1999) 289-310.
22. N.S. Nedialkov, K.R. Jackson and J.D. Pryce, An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE, Reliable Comput. 7(6) (2001) 449-465.
23. M. Neher, Geometric series bounds for the local errors of Taylor methods for linear nth order ODEs, in: Symbolic Algebraic Methods and Verification Methods - Theory and Application, eds. G. Alefeld, J. Rohn, S. Rump and T. Yamamoto (Springer, Vienna, 2001) pp. 183-193.
24. H.T. Nguyen and V. Kreinovich, Applications of Continuous Mathematics to Computer Science (Kluwer, Dordrecht, 1997).
25. J. Tupper, Reliable two-dimensional graphing methods for mathematical formulae with two free variables, in: SIGGRAPH 2001 Conf. Proc., August 2001, pp. 77-86.
26. J. Wolff von Gudenberg and V. Kreinovich, Candidate sets for complex interval arithmetic, in: Trends in Information Technology, Proc. of Internat. Conf. on Information Technology ICIT'99, eds. H. Mohanty and C. Baral, Bhubaneswar, India, 20-22 December 1999 (Tata/McGraw-Hill, New Delhi, 2000) pp. 230-233.