a new book of interval applications

[David G. Hough at validgh]

> Date: Tue, 2 Jan 96 16:07:07 MST
> From: uunet!cs.utep.edu!vladik (Vladik Kreinovich)
> Subject: Applications of Interval Computations: a new book
> 
> Applications of Interval Computations: 
> a new book published by Kluwer in January 1996
> 
> (from the Kluwer homepage)
> 
> ISBN: 0-7923-3847-2
> edited by R. Baker Kearfott,
> University of Southwestern Louisiana, Lafayette, USA,
> Vladik Kreinovich,
> University of Texas at El Paso, USA
> 
> (published in the Applied Optimization series, 
> Volume 3)
> 
> "Applications of Interval Computations" contains primarily 
> survey articles of actual industrial applications of numerical 
> analysis with automatic result verification and of interval 
> representation of data. 
> 
> Underlying topics include:
> * branch and bound algorithms for global optimization, 
> * constraint propagation, 
> * solution sets of linear systems, 
> * hardware and software systems for interval computations, and 
> * fuzzy logic. 
> 
> Actual applications described in the book include: 
> * economic input-output models, 
> * quality control in manufacturing design, 
> * a computer-assisted proof in quantum mechanics, 
> * medical expert systems, 
> * and others.
> 
> A realistic view of interval 
> computations is taken: the articles indicate when and how 
> overestimation and other challenges can be overcome.
> 
> An introductory 
> chapter explains the content of the papers in terminology accessible 
> to mathematically literate graduate students. The style of the 
> individual, refereed contributions has been made uniform and 
> understandable, and there is an extensive book-wide index.
>  
> Audience: Valuable to students and researchers interested in 
> automatic result verification.  
> 
> Detailed information, including 
> contents, contributors, and an order form can be found:
> * on Kluwer homepage http://www.wkap.nl, or 
> * on the Interval Computations homepage 
>   http://cs.utep.edu/interval-comp/main.html, in the "Books" section
> The information on the Interval Computations homepage is basically
> a mirror image of the Kluwer one (the only difference is that 
> the fonts are fancier).