Overview
Many science and engineering applications require the user to find solutions to systems of nonlinear constraints or to optimize a nonlinear function subject to nonlinear constraints. The field of global optimization is the study of methods to find all solutions to systems of nonlinear constraints and all global optima to optimization problems. Numerica is a modelling language for global optimization that makes it possible to state nonlinear problems in a form close to the statements traditionally found in textbooks and scientific papers. Numerica is guaranteed to find all isolated solutions to a system of nonlinear equations and to find all isolated global optima to optimization problems. Numerica also may be useful in proving the existence of solutions automatically. The constraint-solving algorithm of Numerica is based on a combination of traditional numerical methods such as interval and local methods, and constraint satisfaction techniques. For a variety of benchmarks, Numerica is competitive with continuation methods; it also solves standard benchmarks such as the Broyden Banded function in almost linear time for very large ranges. This comprehensive presentation of Numerica describes its design, functions, and implementation. It also discusses how to use Numerica effectively to solve practical problems and reports a number of experimental results.
Full Product Details
Author: Pascal Van Hentenryck (University of Michigan) ,
Laurent Michel (Computer Sci&Engr - Unit 2155) ,
Yves Deville ,
Yves Deville
Publisher: MIT Press Ltd
Imprint: MIT Press
Dimensions:
Width: 19.80cm
, Height: 1.30cm
, Length: 22.60cm
Weight: 0.431kg
ISBN: 9780262720274
ISBN 10: 0262720272
Pages: 228
Publication Date: 25 April 1997
Recommended Age: From 18 years
Audience:
College/higher education
,
Professional and scholarly
,
Undergraduate
,
Postgraduate, Research & Scholarly
Format: Paperback
Publisher's Status: No Longer Our Product
Availability: Out of stock
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.
Reviews
This book describes an exciting development in computer science. It describes a system which allows non-mathematicians to solve difficult numerical problems using interval reasoning. The advanced interval reasoning techniques used by *Numerica* enable it to handle non-linear constraints and optimization with many benefits. As such this book is of considerable interest to a wide audience. --Mark G. Wallace, IC-Parc, William Penney Laboratory, Imperial College, London
Author Information
Pascal Van Hentenryck is Professor in the Department of Computer Science at Brown University. He is the author or editor of several MIT Press books. Laurent Michel is Assistant Professor in the Department of Computer Science and Engineering at the University of Connecticut.
