Floating-Point Computation in PASCAL-SC with Verified Results.

Jürgen Wolff von Gudenberg

Published in: European Conference on Computer Algebra (2) (1985)

Keyphrases

floating point
square root
floating point arithmetic
fixed point
instruction set
sparse matrices
interval arithmetic
general purpose