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 ...
Mathematica 6.0 fundamentally redefined Mathematica and introduced a major new paradigm for computation. Building on Mathematica's time-tested core symbolic architecture, ...
MangoldtLambda[n] gives the von Mangoldt function \[CapitalLambda](n).
Precision[x] gives the effective number of digits of precision in the number x.
EstimatorGains[ss, {p_1, p_2, ..., p_n}] gives the estimator gain matrix for the StateSpaceModel object ss, such that the poles of the estimator are p_i.
Integers represents the domain of integers, as in x \[Element] Integers.
ApartSquareFree[expr] rewrites a rational expression as a sum of terms whose denominators are powers of square-free polynomials. ApartSquareFree[expr, var] treats all ...
Four underlying types of numbers are built into Mathematica. Intrinsic types of numbers in Mathematica. Rational numbers always consist of a ratio of two integers, reduced to ...
MomentEvaluate[mexpr, dist] evaluates formal moments in the moment expression mexpr on the distribution dist.MomentEvaluate[mexpr, list] evaluates formal moments and formal ...
ToRadicals[expr] attempts to express all Root objects in expr in terms of radicals.