- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results.