Scientific Computing With Automatic Result Verification More Books Like This

Scientific Computing, Computer Arithmetic, and Validated Numerics 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
Numerical Validation in Current Hardware Architectures
2009
Numerical Software Verification 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
Reliable Implementation of Real Number Algorithms: Theory and Practice
2008
Mathematical Aspects of Computer and Information Sciences 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
Computer Algebra in Scientific Computing
2016
Numerical Computations: Theory and Algorithms Numerical Computations: Theory and Algorithms
Numerical Computations: Theory and Algorithms
2020
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2018
Elementary Functions Elementary Functions
Elementary Functions
2016
Automatic Differentiation: Applications, Theory, and Implementations Automatic Differentiation: Applications, Theory, and Implementations
Automatic Differentiation: Applications, Theory, and Implementations
2006
Large-Scale Scientific Computing Large-Scale Scientific Computing
Large-Scale Scientific Computing
2018
Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing
Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing
2018
Large-Scale Scientific Computing Large-Scale Scientific Computing
Large-Scale Scientific Computing
2022
Numerical Analysis and Its Applications Numerical Analysis and Its Applications
Numerical Analysis and Its Applications
2017
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014 Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014
2015