Computer Arithmetic and Formal Proofs More Books Like This

Algorithmic Mathematics Algorithmic Mathematics
Algorithmic Mathematics
2016
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
Computer-hardware Evaluation Of Mathematical Functions Computer-hardware Evaluation Of Mathematical Functions
Computer-hardware Evaluation Of Mathematical Functions
2015
Scientific Computing with MATLAB and Octave Scientific Computing with MATLAB and Octave
Scientific Computing with MATLAB and Octave
2007
An Introduction to the Analysis of Algorithms An Introduction to the Analysis of Algorithms
An Introduction to the Analysis of Algorithms
2018
Elementary Functions Elementary Functions
Elementary Functions
2016
Computational Complexity: A Quantitative Perspective Computational Complexity: A Quantitative Perspective
Computational Complexity: A Quantitative Perspective
2004
Microcomputer Algorithms Microcomputer Algorithms
Microcomputer Algorithms
2020
Arithmetic of Finite Fields Arithmetic of Finite Fields
Arithmetic of Finite Fields
2008
Digital Logic Design Digital Logic Design
Digital Logic Design
2012
Theory of Computation Theory of Computation
Theory of Computation
2006
Computer Mathematics Computer Mathematics
Computer Mathematics
2008
Multiple-Valued Logic Design Multiple-Valued Logic Design
Multiple-Valued Logic Design
2017
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2021
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques
2008