Numerica(ID:5770/num002)

mathematical modelling language

People:
References:
  • Pascal Van Hentenryck, Laurent Michel and Yves Deville "Numerica: A Modeling Language for Global Optimization" MIT Press view details Abstract: 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
    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 modeling 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. 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.

    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.

    A commercial implementation of Numerica is available from ILOG under the name ILOG Numerica.
    External link: Online copy
    Resources