QUERIES
empty query
same taxonomy
RESOURCES
MONET
OWL Ontologies
MONET Definitions
Target Namespace: http://monet.nag.co.uk/problems/
Problem
. . .
unconstrained_multivariate_minimisation
Header
. . .
Taxonomy: http://gams.nist.gov
Code: GamsG1b
Body
. . .
Input
. . .
objective
∈
cartesian_product_n
(
R
,
n
)
→
R
Output
. . .
minimum
∈
cartesian_product_n
(
R
,
n
)
Pre-Condition
. . .
continuous
(
objective
)
Post-Condition
. . .
∀
x
.
x
∈
cartesian_product_n
(
R
,
n
)
⇒
objective
(
x
)
≥
objective
(
minimum
)