Scientific Computing With Automatic Result Verification المزيد من الكتب المشابهة

Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
Scientific Computing, Computer Arithmetic, and Validated Numerics
٢٠١٦
Numerical Validation in Current Hardware Architectures Numerical Validation in Current Hardware Architectures
Numerical Validation in Current Hardware Architectures
٢٠٠٩
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
٢٠١٧
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
٢٠٠٨
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
٢٠١٦
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
٢٠١٦
Numerical Computations: Theory and Algorithms Numerical Computations: Theory and Algorithms
Numerical Computations: Theory and Algorithms
٢٠٢٠
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
٢٠١٨
Elementary Functions Elementary Functions
Elementary Functions
٢٠١٦
Automatic Differentiation: Applications, Theory, and Implementations Automatic Differentiation: Applications, Theory, and Implementations
Automatic Differentiation: Applications, Theory, and Implementations
٢٠٠٦
Large-Scale Scientific Computing Large-Scale Scientific Computing
Large-Scale Scientific Computing
٢٠١٨
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
٢٠١٨
Large-Scale Scientific Computing Large-Scale Scientific Computing
Large-Scale Scientific Computing
٢٠٢٢
Numerical Analysis and Its Applications Numerical Analysis and Its Applications
Numerical Analysis and Its Applications
٢٠١٧
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
٢٠١٥