Numerical methods with automatic verification

  • Siegfried M. Rump
Symbolic/Nameric Interface I
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)


  1. [1]
    Bohlender, G.: Genaue Summation von Gleitpunktzahlen, COMPUTING Suppl. 1, (1977).Google Scholar
  2. [2]
    Kulisch, U., Miranker, W.L.: Computer Arithmetic in Theory and Practice, ACADEMIC PRESS, New York (1981).Google Scholar
  3. [3]
    Rump, S.M.: Solving algebraic Problems with High Accuracy, in "A New Approach to Scientific Computation", Edts. U.W. Kulisch and W.L. Miranker, ACADEMIC PRESS, p. 51–120 (1983).Google Scholar
  4. [4]
    ACRITH, High-Accuracy Arithmetic Subroutine Library, Program Description and User's Guide, IBM Publications, Document Number SC33-6164-1 (1984).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Siegfried M. Rump
    • 1
  1. 1.IBM Development and ResearchBöblingenWest Germany

Personalised recommendations