NDSolve (Built-in Mathematica Symbol)

NDSolve[eqns, y, {x, x_min, x_max}] finds a numerical solution to the ordinary differential equations eqns for the function y with the independent variable x in the range ...

Reduce (Built-in Mathematica Symbol)

Reduce[expr, vars] reduces the statement expr by solving equations or inequalities for vars and eliminating quantifiers. Reduce[expr, vars, dom] does the reduction over the ...

Diophantine Polynomial Systems (Mathematica Tutorial)

A Diophantine polynomial system is an expression constructed with polynomial equations and inequalities combined using logical connectives and quantifiers where the variables ...

NIntegrate Integration Strategies (Mathematica Tutorial)

An integration strategy is an algorithm that attempts to compute integral estimates that satisfy user-specified precision or accuracy goals. An integration strategy normally ...

Real Polynomial Systems (Mathematica Tutorial)

A real polynomial system is an expression constructed with polynomial equations and inequalities combined using logical connectives and quantifiers and

Maximize::vlist (Mathematica Message)

Maximize::vlist Minimize::vlist Reduce`Infimum::vlist Reduce`Supremum::vlist FindInstance::vlist

Maximize::consf (Mathematica Message)

Maximize::consf Minimize::consf Reduce`Infimum::consf Reduce`Supremum::consf

Maximize::vdom (Mathematica Message)

Maximize::vdom Minimize::vdom Reduce`Infimum::vdom Reduce`Supremum::vdom

Maximize::objc (Mathematica Message)

Maximize::objc Minimize::objc Reduce`Infimum::objc Reduce`Supremum::objc

Maximize::mixdom (Mathematica Message)

Maximize::mixdom Minimize::mixdom Reduce`Infimum::mixdom Reduce`Supremum::mixdom