MultiplicativeOrder[k, n] gives the multiplicative order of k modulo n, defined as the smallest integer m such that k^m \[Congruent] 1 mod n. MultiplicativeOrder[k, n, {r_1, ...
It is often useful to be able to detect and precisely locate a change in a differential system. For example, with the detection of a singularity or state change, the ...
FindDistributionParameters[data, dist] finds the parameter estimates for the distribution dist from data.FindDistributionParameters[data, dist, {{p, p_0}, {q, q_0}, ...}] ...
JacobiCN[u, m] gives the Jacobi elliptic function cn(u | m).
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 ...
The Mathematica functions Reduce, Resolve, and FindInstance allow you to solve a wide variety of problems that can be expressed in terms of equations and inequalities. The ...
The world's largest integrated web of mathematical capabilities and algorithms
Interpolation[{f_1, f_2, ...}] constructs an interpolation of the function values f_i, assumed to correspond to x values 1, 2, ... . Interpolation[{{x_1, f_1}, {x_2, f_2}, ...
The symbolic character of Mathematica makes possible a uniquely coherent approach to integer sequences, integrating functional forms, equations, generating functions, and ...
Resolve
(Built-in Mathematica Symbol) Resolve[expr] attempts to resolve expr into a form that eliminates ForAll and Exists quantifiers. Resolve[expr, dom] works over the domain dom. Common choices of dom are ...