Scientific Computing, Validated Numerics, Interval Methods

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

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, and also foundations of the theory of intervals and reliable computations were considerably strengthened. They are concerned not only with applications of well known enclosure methods or the development of new-self validating algorithms, but also transfer the mechanisms and design process known from these areas to other fields. The 31 contributions to this proceedings volume were carefully selected from a much larger number of submissions.