Validation of results of collocation methods for ODEs with the CADNA library

Applied Numerical Mathematics

Volumn 21, Issue 2, 1996, Pages 119-139

  Alt, R ^a   Vignes, J ^a,b  

^a SORBONNE UNIVERSITÉ   (France)

^b IFP ENERGIES NOUVELLES   (France)

Author keywords

CADNA library; CESTAC method; Collocation methods; Error propagation; Numerical methods for ODEs; Parallel methods for ODEs; Stochastic arithmetic

Indexed keywords

COMPUTER AIDED ANALYSIS; DIFFERENTIAL EQUATIONS; DIGITAL ARITHMETIC; ERROR ANALYSIS; INTEGRATION; INTERPOLATION; ITERATIVE METHODS; PARALLEL PROCESSING SYSTEMS; RANDOM PROCESSES; RESOURCE ALLOCATION;

CADNA LIBRARY; CESTAC METHOD; COLLOCATION METHODS; ERROR PROPAGATION; ROUND OFF ERROR ANALYSIS METHOD; STOCHASTIC ARITHMETIC;

NUMERICAL METHODS;

EID: 0030170273     PISSN: 01689274     EISSN: None     Source Type: Journal    
DOI: 10.1016/0168-9274(96)00004-9     Document Type: Article

References (34)

1. R. Alt, Parallel methods across time for I.V.P., in: Proceedings Third International Colloquium on Numerical Analysis, Plovdiv (VSP Internat. Sci. Pub., 1994) 223-230.
2. C. Brezinski, Accélération de la Convergence en Analyse Numérique, Lecture Notes in Mathematics 584 (Springer, Berlin, 1977).
3. C. Brezinski and M. Redivo-Zaglia, Extrapolation Methods, Theory and Practice (North-Holland, Amsterdam, 1991).
4. K. Burrage, Parallel methods for initial value problems, Appl. Numer. Math. 11 (1993) 5-25.
5. J.C. Butcher, The Numerical Analysis of Differential Equations (Wiley, Chichester, 1987).
6. J.C. Butcher, Diagonally implicit multistage integration methods, Appl. Numer. Math. 11 (5) (1993) 347-363.
7. J.M. Chesneaux, Study of the computing accuracy by using probabilistic approach, in: C. Ullrich, ed., Contribution to Comp. Arithmetic and Self-Validating Numerical Methods (IMACS, New Brunswick, NJ, 1990) 19-30.
8. J.M. Chesneaux, CADNA, an ADA tool for round-off error analysis and for numerical debugging, in: Proceedings Congress on ADA in Aerospace, Barcelona (1990).
9. J.M. Chesneaux, Descriptif d'utilisation du logiciel CADNA_F, Masi Report, No. 92.32 (1992).
10. J.M. Chesneaux and J. Vignes, Sur la robustesse de la méthode CESTAC, C. R. Acad. Sci. Paris Sér. I Math. 307 (1988) 855-860.
11. J.M. Chesneaux and J. Vignes, Les fondements de l'arithmétique stochastique, C. R. Acad. Sci. Paris Sér. I Math. 315 (1992) 1435-1440.
12. M.F. Flynn, Some computer organizations and their effectiveness, IEEE Trans. Comput. 23 (9) (1972) 948-960.
13. M.A. Franklin, Parallel solution of ordinary differential equations, IEEE Trans. Comput. 27 (5) (1978) 413-420.
14. C.W. Gear, The potential of parallelism in ordinary differential equations, Tech. Rept. UIUC-DCS-R-86-1246, Department of Computer Sciences, University of Illinois at Urbana Champaign, IL (1986).
15. C.W. Gear and F.L. Juang, The speed of waveform methods for ODEs, in: R. Spigler, ed., Applied Industrial Mathematics (Kluwer, Dordrecht, 1991) 37-48.
16. C.W. Gear and Xuhai Xu, Parallelism across time in ODEs, Appl. Numer. Math. 11 (1993) 45-68.
17. E. Hairer, S.P. Nørsett and G. Wanner, Solving Ordinary Differential Equations I: Nonstiff Problems, Springer Series in Computational Mathematics 8 (Springer, Berlin, 1987).
18. A. Iseries and S.P. Nørsett, On the theory of parallel Runge-Kutta methods, IMA J. Numer. Anal. 10 (1990) 463-488.
19. F.L. Juang, Waveform methods for ordinary differential equations, Ph.D. Thesis, Department of Computer Sciences, University of Illinois at Urbana Champaign, IL (1989).
20. H.B. Keller, Numerical methods for two-point boundary-value problems (Dover, New York, 1992) 225-227.
21. E. Lelarasmee, A. Ruehli and A. Sangiovani-Vincentelli, The waveform relaxation method for time domain analysis of large scaled integrated circuits, IEEE Trans. CADIC Syst. 1 (3) (1982) 131-145.
22. W.L. Miranker and L. Liniger, Parallel methods for the integration of ordinary differential equations, Math. Comp. 21 (1967) 303-320.
23. Y. Saad, Gaussian elimination on hypercubes, in: M. Cosnard et al., eds., Parallel Algorithms and Architectures (North-Holland, Amsterdam, 1986) 5-17.
24. L.F. Shampine and H.A. Watts, Block implicit one step methods, Math. Comp. 23 (1969) 731-740.
25. P.J. Van der Houwen, Parallel step by step methods, Appl. Numer. Math. 11 (1993) 69-91.
26. P.J. Van der Houwen and B.P. Sommeijer, Iterated Runge-Kutta methods on parallel computers, SIAM J. Sci. Statist. Comput. 12 (5) (1991) 1000-1028.
27. J. Vignes, New methods for evaluating the validity of the results of mathematical computation, Math. Comput. Simulation 20 (1978) 227-249.
28. J. Vignes, Zéro mathématique et zéro informatique, C. R. Acad. Sci. Paris Sér. I 303 (1986) 997-1000; La Vie des Sciences 4 (1) (1987) 1-13.
29. J. Vignes, Zéro mathématique et zéro informatique, C. R. Acad. Sci. Paris Sér. I 303 (1986) 997-1000; La Vie des Sciences 4 (1) (1987) 1-13.
30. J. Vignes, A stochastic arithmetic for reliable scientific computation, Math. Comput. Simulation 35 (1993) 233-261.
31. J. Vignes, Review on stochastic approach to round-off error analysis and its applications, Math. Comput. Simulation 30 (6) (1988) 481-491.
32. J. Vignes and R. Alt, An efficient stochastic method for round-off error analysis, in: Accurate Scientific Computations, Lecture Notes in Computer Science 235 (Springer, Berlin, 1985) 183-205.
33. J. Villadsen and M.L. Michelsen, Solution of Differential Equation Models by Polynomial Approximation (Prentice-Hall, Englewood Cliffs, NJ, 1978).
34. R. Weiss, The application of implicit Runge-Kutta and collocation methods to boundary value problems, Math. Comp. 28 (1974) 449-464.