Scientific Computing, Validated Numerics, Interval Methods

by Walter Krämer

The papers in this book discuss a wide variety of serious applications of all parts of mathematical modelling. New efficient, publicly available or even commercial tools are proposed or presented,…