Scientific Computing With Automatic Result Verification Scientific Computing With Automatic Result Verification

Scientific Computing With Automatic Result Verification

    • £57.99
    • £57.99

Publisher Description

Scientific computing with automatic result verification.

GENRE
Computing & Internet
RELEASED
1992
3 December
LANGUAGE
EN
English
LENGTH
611
Pages
PUBLISHER
Elsevier Science
SIZE
16.3
MB
Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
2016
Numerical Validation in Current Hardware Architectures Numerical Validation in Current Hardware Architectures
2009
Numerical Software Verification Numerical Software Verification
2017
Reliable Implementation of Real Number Algorithms: Theory and Practice Reliable Implementation of Real Number Algorithms: Theory and Practice
2008
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
2016
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
2016