Numerica: a modeling language for global optimization
Choice Reviews Online · 1998
Part 1 Introduction: nonlinear programming local methods global methods Numerica outline. Part 2 A tour of Numerica: getting started generic constraints constants ranges input parameters aggregation operators functions sets unconstrained optimization constrained optimization local constraint solving local unconstrained optimization soft constraints real constraints and uncertain data display accuracy. Part 3 The meaning of Numerica: interval analysis constraint solving unconstrained optimization interpretation of the results. Part 4 Modelling in Numerica: what can go wrong in Numerica improving Numerica statements. Part 5 The syntax of Numerica: overall structure expressions the constant section the input section the set section the variable section the function section the body section the display section the pragma section scoping rules. Part 6 The semantics of Numerica: interval arithmetic semantics of constraint solving semantics of unconstrained minimization semantics of constrained minimization non-canonical boxes. Part 7 An implementation of Numerica: overview of the algorithm domain-specific and monotonic interval extensions constraint solving unconstrained optimization constrained optimization advanced techniques an implementation of box consistency. Part 8 Experimental results: constraint solving unconstrained optimization constrained optimization appendices.