Advertisement

PASCAL-SC demonstration accurate arithmetic for verified results

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

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • J. Wolff von Gudenberg
    • 1
  1. 1.Inst. for Appl. Math.Univ. KarlsruheGermany

Personalised recommendations