The Validation and Comparison of Programs for Stiff Systems

  • T. E. Hull
Part of the The IBM Research Symposia Series book series (IRSS)


Software for solving stiff systems of ordinary differential equations should be easy to understand, reliable, efficient and convenient. Good structuring, the use of appropriate language conventions, and proofs of correctness contribute towards ease of understanding. Careful comparisons are needed to assess reliability and efficiency. Further testing and packaging help make the system convenient to use. Each of these topics is discussed, and comparisons between five different methods are presented. An adaptation of Gear’s backward difference method, the second-derivative method of Enright, and an extrapolation method based on ideas due to Dahlquist and Lindberg are reliable and reasonably efficient, although for each of these methods there is a class of problems for which the method is somewhat less efficient than the other two. On the other hand, an implicit Runge-Kutta method and a modification of the generalized Runge-Kutta method due to Ehle and Lawson did not compare favourably with the first three.


Extrapolation Method Stiff System Calling Sequence Language Convention Stiff Ordinary Differential Equation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1973 Ford, B., “The Nottingham Algorithm Group (NAG) project,” SIGNUM Newsletter 8, 2(April), pp. 16–21.Google Scholar
  2. 1973 Hull, T. E., “Would you believe structured Fortran?” SIGNUM Newsletter, to appear.Google Scholar
  3. 1973 Sedgwick, A. E., “An effective variable order variable step Adams method,” PhD Thesis, Department of Computer Science, University of Toronto.Google Scholar
  4. 1972 Boyle, J. M., Cody, W. J., Cowell, W. R., Garbow, B. S., Ikebe, Y., Moler, C. B., Smith, B. T., “NATS, a collaborative effort to certify and disseminate mathematical software,” Proc. ACM Conf., pp.630-635.Google Scholar
  5. 1972 Enright, W. H., “Studies in the numerical solution of stiff ordinary differential equations,” PhD Thesis, Department of Computer Science, University of Toronto.Google Scholar
  6. 1972 Hull, T. E., Enright, W. H., and Sedgwick, A. E., “The correctness of numerical algorithms,” Proc. SIGPLAN Symp. on Proofs of Assertions about Programs, Las Cruces, New Mexico, pp. 66-73.Google Scholar

Copyright information

© Plenum Press, New York 1974

Authors and Affiliations

  • T. E. Hull
    • 1
  1. 1.Department of Computer ScienceUniversity of TorontoCanada

Personalised recommendations