Scientific Computing With Automatic Result Verification
-
- $87.99
-
- $87.99
Publisher Description
Scientific computing with automatic result verification.
Scientific Computing, Computer Arithmetic, and Validated Numerics
2016
Numerical Validation in Current Hardware Architectures
2009
Numerical Software Verification
2017
Reliable Implementation of Real Number Algorithms: Theory and Practice
2008
Mathematical Aspects of Computer and Information Sciences
2016
Computer Algebra in Scientific Computing
2016