Søkt på: Bøker av Warwick Tucker
totalt 4 treff
Validated Numerics
A comprehensive, self-contained primer on validated numericsThis textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new …
Scientific Computing, Computer Arithmetic, and Validated Numerics
This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Wurzburg, Germany, in September 2014.The 22 full papers presented were …
Scientific Computing, Computer Arithmetic, and Validated Numerics
This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full papers presented were …
Validated Numerics
This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and …