Reliable Implementation of Real Number Algorithms: Theory and Practice More Books Like This
Mathematical Aspects of Computer and Information Sciences
2016
Computer Algebra in Scientific Computing
2016
Automated Deduction in Geometry
2011
Scientific Computing, Computer Arithmetic, and Validated Numerics
2016
Computer Algebra in Scientific Computing
2018
Mathematical Software – ICMS 2018
2018
Numerical Validation in Current Hardware Architectures
2009
Computer Mathematics
2008
Fundamentals of Computation Theory
2011
Mathematical Aspects of Computer and Information Sciences
2017
Computer Algebra in Scientific Computing
2022
Computer Algebra in Scientific Computing
2017
Mathematical Software – ICMS 2020
2020
Mathematical Aspects of Computer and Information Sciences
2020
Computer Algebra in Scientific Computing
2021