Reliable Implementation of Real Number Algorithms: Theory and Practice 비슷한 책 더 보기
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 Science – Theory and Applications
2007년
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년
Arithmetic of Finite Fields
2007년
Mathematical Software – ICMS 2020
2020년