Principles of Evaluation Reducing Expressions to Their Standard Form Attributes

CylindricalDecomposition[ineqs, {x_1, x_2, ...}] finds a decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond ...

DSolve[eqn, y, x] solves a differential equation for the function y, with independent variable x. DSolve[{eqn_1, eqn_2, ...}, {y_1, y_2, ...}, x] solves a list of ...

Consider the matrix differential equation where the initial value y_0 y(0)∈^m×p is given. Assume that y_0^Ty_0I, that the solution has the property of preserving ...

Exact global optimization problems can be solved exactly using Minimize and Maximize. This computes the radius of the circle, centered at the origin, circumscribed about the ...

Eigenvectors[m] gives a list of the eigenvectors of the square matrix m. Eigenvectors[{m, a}] gives the generalized eigenvectors of m with respect to a. Eigenvectors[m, k] ...

GammaRegularized[a, z] is the regularized incomplete gamma function Q(a, z).

JacobiCN[u, m] gives the Jacobi elliptic function cn(u | m).

JacobiDN[u, m] gives the Jacobi elliptic function dn(u | m).

RankedMax[list, n] gives the n\[Null]^th largest element in list.