Consistency techniques in ordinary differential equations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1520, Issue , 1998, Pages 162-176

  Deville, Yves ^a   Janssen, Micha ^a   Van Hentenryck, Pascal ^b  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^b BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY; DIFFERENTIAL EQUATIONS; ENCLOSURES;

CONSISTENCY TECHNIQUES; EXPLICIT METHOD; INTERVAL ANALYSIS; INTERVAL TECHNIQUE; NUMERICAL TECHNIQUES; TWO-STEP PROCESS;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 84957621029     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49481-2_13     Document Type: Conference Paper

References (17)

1. Oliver Aberth. Precise Numerical Analysis. William Brown, Dubuque, Iowa, 1988.
2. Martin Berz, Christian Bischof, George Corliss, and Andreas Griewank, editors. Computational Differentiation: Techniques, Applications, and Tools. SIAM, Philadelphia, Penn., 1996.
3. George F. Corliss. Applications of differentiation arithmetic. In Ramon E. Moore, editor, Reliability in Computing, pages 127-148. Academic Press, London, 1988.
4. G.F. Corliss. Theory of Numerics in Ordinary and Partial Diffential Equations W.A. Light, M. Machetta (Eds), volume Vol 4, chapter Guaranteed Error Bounds for Ordinary Differential Equations, pages 1-75. Oxford University Press, 1995.
5. Y. Deville, M. Janssen, and P. Van Hentenryck. Consistency Techniques in Ordinary Differential Equations. Technical Report TR98-06, Université catholique de Louvain, July 1998.
6. D.P. Davey and N.F. Stewart. Guaranteed Error Bounds for the Initial Value problem Using Polytope Arithmetic. BIT, 16:257-268, 1976.
7. Ph. Hartman. Ordinary Differential Equations. Wiley, New York, 1964.
8. P. Henrici. Discrete Variable Methods in Ordinary Differential Equations. John Wiley & Sons, New York, 1962.
9. Rudolf J. Lohner. Enclosing the solutions of ordinary initial and boundary value problems. In Edgar W. Kaucher, Ulrich W. Kulisch, and Christian Ullrich, editors, Computer Arithmetic: Scientific Computation and Programming Languages, pages 255-286. Wiley-Teubner Series in Computer Science, Stuttgart, 1987.
10. R.E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966.
11. R.E. Moore. Methods and Applications of Interval Analysis. SIAM Publ., 1979.
12. Louis B. Rall. Applications of software for automatic differentiation in numerical computation. In Götz Alefeld and R. D. Grigorieff, editors, Fundamentals of Numerical Computation (Computer Oriented Numerical Analysis), Computing Supplement No. 2, pages 141-156. Springer-Verlag, Berlin, 1980.
13. Louis B. Rall. Automatic Differentiation: Techniques and Applications, volume 120 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1981.
14. O. Stauning. Enclosing Solutions of Ordinary Differential Equations. Technical Report Tech. Report IMM-REP-1996-18, Technical University Of Denmark, 1996.
15. N.F. Stewart. A Heuristic to Reduce the Wrapping Effect in the Numerical Solution of ODE. BIT, 11:328-337, 1971.
16. P. Van Hentenryck, M. Laurent, and Y. Deville. Numerica, A Modeling Language for Global Optimization. MIT Press, 1997.
17. P. Van Hentenryck, V. Saraswat, and Y. Deville. The Design, Implementation, and Evaluation of the Constraint Language cc(FD). Journal of Logic Programming (Special Issue on Constraint Logic Programming), 1998 (to appear).