MONET Definitions

Target Namespace: http://monet.nag.co.uk/problems/

Problem . . .
unconstrained_univariate_minimisation
Header . . .
Taxonomy: http://gams.nist.gov
Code: GamsG1a
Body . . .
Input . . .
objective ∈ R → R
Output . . .
minimum ∈ R
value_at_minimum ∈ R
Pre-Condition . . .
continuous ⁡ ( objective )
Post-Condition . . .
objective ⁡ ( minimum ) = value_at_minimum
∀ x . x ∈ R ⇒ objective ⁡ ( x ) ≥ objective ⁡ ( minimum )