Positive[x] gives True if x is a positive number.

ContinuedFraction[x, n] generates a list of the first n terms in the continued fraction representation of x. ContinuedFraction[x] generates a list of all terms that can be ...

Reduce[expr, vars] reduces the statement expr by solving equations or inequalities for vars and eliminating quantifiers. Reduce[expr, vars, dom] does the reduction over the ...

Simplifying with assumptions. Mathematica does not automatically simplify this, since it is only true for some values of x. Sqrt[x^2] is equal to x for x≥0, but not otherwise.

FindIntegerNullVector[{x_1, x_2, ..., x_n}] finds a list of integers a_i such that a_1 x_1 + a_2 x_2 + \[CenterEllipsis] + a_n x_n == 0. FindIntegerNullVector[{x_1, x_2, ..., ...

Mathematica has been used to make many important discoveries in discrete mathematics over the past two decades. Its integration of highly efficient and often original ...

$SessionID is a number set up to be unique to a particular Mathematica session.

Underflow[] represents a number too small to represent explicitly on your computer system.

When Mathematica transforms an expression such as x+x into 2x, it is treating the variable x in a purely symbolic or formal fashion. In such cases, x is a symbol which can ...

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