1. G. Alefeld and J. Herzberger. Introduction to Interval Computations. Academic Press, New York, 1983.
2. S. Balay, W. D. Gropp, L. C. McInnes, and B. F. Smith. Parallelism in object-oriented numerical software libraries. In E. Arge, A. M. Bruaset, and H. P. Langtangen, editors, Modern Software Tools in Scientific Computing, pages 163–202.Birkhäuser, Boston, 1997. See also the PETSc home page http://www.mcs.anl.gov/petsc/ .
3. C. Bendsten and O. Stauning. FADBAD, a flexible C++ package for automatic differentiation using the forward and backward methods. Technical Report 1996-x5–94, Department of Mathematical Modelling, Technical University of Denmark, DK-2800, Lyngby, Denmark, August 1996. FADBAD is available at http://www.imm.dtu.dk/faklbad.html .
4. C. Bendsten and O. Stauning. TADIFF, a flexible C++ package for automatic differentiation using Taylor series. Technical Report 1997-x5–94, Department of Mathematical Modelling, Technical University of Denmark, DK-2800, Lyngby, Denmark, April 1997. TADIFF is available at http://www.imm.dtu.dk/fadbad.html .
5. M. Berz. COSY INFINITY version 8 reference manual. Technical Report MSUCL-1088, National Superconducting Cyclotron Lab., Michigan State University, East Lansing, Mich., 1997. COSY INFINITY is available at http://www.beamtheory.nscl.msu.edu/cosy/ .