Floating-point computation in PASCAL-SC with verified results

  • J. Wolff von Gudenberg
Symbolic/Nameric Interface I
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)


Arithmetic Operation Interval Arithmetic Computer Arithmetic Universal Operator Algebraic Computer Program 
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. [1]
    G. Alefeld, J. Herzberger: Introduction to Interval Computations. Tr. by J. Rokne, Academic Press, New York (1983)Google Scholar
  2. [2]
    G. Bohlender, H. Böhm, K. Grüner, E. Kaucher, R. Klatte, W. Krämer, U.W. Kulisch, W.L. Miranker, S.M. Rump, Ch. Ullrich, J. Wolff v. Gudenberg: MATRIX PASCAL in [8] p. 311–384Google Scholar
  3. [3]
    G. Bohlender, U. Kulisch: Features of a hardware implementation of an optimal arithmetic, in [8]Google Scholar
  4. [4]
    R.P. Brent: A Fortran multiple-precision arithmetic package, ACM Trans. Math. Software, 4 (1978), p. 57–70Google Scholar
  5. [5]
    R. J. Fateman: Symbolic and Algebraic Computer Programming Systems. SIGSAM Bulletin (15) No. 1, 1981Google Scholar
  6. [6]
    U. Kulisch: Grundlagen des Numerischen Rechnens, BI, Mannheim (1976)Google Scholar
  7. [7]
    U. Kulisch, W.L. Miranker: Computer Arithmetic in Theory and Practice, Academic Press, New York (1981)Google Scholar
  8. [8]
    U. Kulisch, W.L. Miranker (ed): A New Approach to Scientific Computation, Academic Press, New York (1983)Google Scholar
  9. [9]
    U. Kulisch, W.L. Miranker: The Arithmetic of the Digital Computer, IBM Research Report, RC 10580, (1984)Google Scholar
  10. [10]
    U. Kulisch, Ch. Ullrich (ed): Wissenschaftliches Rechnen und Programmiersprachen, Berichte des German Chapter of the ACM, 10, Teubner, Stuttgart (1982)Google Scholar
  11. [11]
    S.M. Rump: Computer und Rechengenauigkeit, Elektron. Rechenanlagen 24 (1982) Heft 6, p. 268–277Google Scholar
  12. [12]
    S.M. Rump: Mathematik auf dem Rechner, Elektron. Rechenanlagen 25 (1983) Heft 6, p. 126–132Google Scholar
  13. [13]
    J. Wolff v. Gudenberg: An Introduction to MATRIX PASCAL in [8] p. 225–246Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • J. Wolff von Gudenberg
    • 1
  1. 1.Karlsruhe

Personalised recommendations