Mathematica's symbolic character allows a powerful unification of the notion of conditionals in programming and in mathematics.

Mathematica's symbolic architecture allows it to represent any equation as a symbolic expression that can be manipulated using any of Mathematica's powerful collection of ...

LucasL[n] gives the Lucas number L_n.LucasL[n, x] gives the Lucas polynomial L_n (x).

Modulus -> n is an option that can be given in certain algebraic functions to specify that integers should be treated modulo n.

Mathematica provides a general mechanism for specifying constraints on patterns. All you need to do is to put /;condition at the end of a pattern to signify that it applies ...

SetPrecision[expr, p] yields a version of expr in which all numbers have been set to have precision p.

FunctionSpace is an option for FindSequenceFunction and related functions that specifies the space of functions to consider for representations.

MomentConvert[mexpr, form] converts the moment expression mexpr to the specified form.

Mathematica transparently works with complex variables throughout, not only numerically, but also symbolically—often relying on original results to handle intricate branch ...

GaussianIntegers is an option for FactorInteger, PrimeQ, Factor, and related functions that specifies whether factorization should be done over Gaussian integers.