Scientific Computing & Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic & Validated Numbers

About this title: This collection of papers on scientific computing with validation covers the design of floating point units, algorithms for floating point operations, and elementary function evaluations with maximum accuracy. Scientific computing methods are discussed for areas of applied mathematics such as numerical linear algebra, nonlinear equations, global optimization, ordinary and partial differential equations and dynamical systems. Some computer science aspects like complexity are also considered, as are examples where validation methods have successfully been used in applications from the ... read more

Note: This is a general synopsis. Each listing is described below.