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

math options starts the Mathematica kernel in Unix and Linux.

Polynomial algorithms are at the core of classical "computer algebra". Incorporating methods that span from antiquity to the latest cutting-edge research at Wolfram Research, ...

NExpectation[expr, x \[Distributed] dist] gives the numerical expectation of expr under the assumption that x follows the probability distribution dist.NExpectation[expr, ...

The differential equations that arise in practice are of two types. Here is an example of the first type. Here is an example of the second type. This equation has a symbolic ...

HoldFirst is an attribute which specifies that the first argument to a function is to be maintained in an unevaluated form.

When you make a definition in the form f[args]=rhs or f[args]:=rhs, Mathematica associates your definition with the object f. This means, for example, that such definitions ...

SymbolicCGenerate[cfun, name, opts] generates symbolic C from the compiled function cfun using name as the exported function name.

BooleanMaxterms[k, n] represents the k\[Null]^th maxterm in n variables.BooleanMaxterms[{k_1, k_2, ...}, n] represents the conjunction of the maxterms ...

ContourPlot3D[f, {x, x_min, x_max}, {y, y_min, y_max}, {z, z_min, z_max}] produces a three-dimensional contour plot of f as a function of x, y, and z. ContourPlot3D[f == g, ...