MONET Definitions

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

Problem . . .
differentiation
Header . . .
Taxonomy: http://gams.nist.gov
Code: GamsO
Body . . .
Input . . .
f ∈ R → R
Output . . .
derivative ∈ R → R
Post-Condition . . .
∀ x . x ∈ R ⇒ f ⁡ ( x ) - ( ∫ ( derivative ) ) ⁡ ( x ) = constant