MONET Definitions

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

Problem . . .
zero_of_nonlinear_system
Header . . .
Taxonomy: http://gams.nist.gov
Code: GamsF2
Body . . .
Input . . .
system ∈ list ⁡ ( cartesian_product_n ⁡ ( R , n ) → R )
Output . . .
zero ∈ cartesian_product_n ⁡ ( R , n )
Pre-Condition . . .
∃ f . f ∈ system ⇒ non_linear ⁡ ( f )
Post-Condition . . .
∀ f . f ∈ system ⇒ f ⁡ ( zero ) = 0