A gentle introduction to Numerica

摘要

Numerica is a modeling language for stating and solving global optimization problems. It makes it possible to express these problems in a notation close to the way these problems are stated in textbooks or scientific papers. In addition, the constraint-solving algorithm of Numerica, which combines techniques from numerical analysis and artificial intelligence, provides many guarantees about correctness, convergence, and completeness.