PASCAL-SC Demonstration: Accurate Arithmetic for Verified Results.

Jürgen Wolff von Gudenberg

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

Keyphrases

case study
wide range
high accuracy
highly accurate
learning algorithm
high precision
artificial intelligence
decision making
e learning
web services
accurate estimation