MatchQ
(Built-in Mathematica Symbol) MatchQ[expr, form] returns True if the pattern form matches expr, and returns False otherwise.
TrigReduce[expr] rewrites products and powers of trigonometric functions in expr in terms of trigonometric functions with combined arguments.
FiniteAbelianGroupCount[n] gives the number of finite Abelian groups of order n.
Implies
(Built-in Mathematica Symbol) Implies[p, q] represents the logical implication p \[DoubleRightArrow] q.
a ** b ** c is a general associative, but non-commutative, form of multiplication.
PartitionsQ[n] gives the number q (n) of partitions of the integer n into distinct parts.
QHypergeometricPFQ[{a_1, ..., a_r}, {b_1, ..., b_s}, q, z] gives the basic hypergeometric series \[Null]_r \[Phi]_s (a; b; q; z).
Rescale
(Built-in Mathematica Symbol) Rescale[x, {min, max}] gives x rescaled to run from 0 to 1 over the range min to max. Rescale[x, {min, max}, {x_min, x_max}] gives x rescaled to run from x_min to x_max over ...
TrigExpand[expr] expands out trigonometric functions in expr.
Following are two examples of nonlinear systems of ODEs that can be solved symbolically using DSolve. The first three equations in this system of four nonlinear ODEs can be ...