Just as the equation x^2+3x==2 asserts that x^2+3x is equal to 2, so also the inequality x^2+3x>2 asserts that x^2+3x is greater than 2. In Mathematica, Reduce works not only ...

FrobeniusNumber[{a_1, ..., a_n}] gives the Frobenius number of a_1, ..., a_n.

ExpIntegralEi[z] gives the exponential integral function Ei(z).

LegendreP[n, x] gives the Legendre polynomial P_n (x). LegendreP[n, m, x] gives the associated Legendre polynomial P_n^m(x).

Any combination of equations or inequalities can be thought of as implicitly defining a region in some kind of space. The fundamental function of Reduce is to turn this type ...

FactorInteger[n] gives a list of the prime factors of the integer n, together with their exponents. FactorInteger[n, k] does partial factorization, pulling out at most k ...

In a statement like x^4+x^2>0, Mathematica treats the variable x as having a definite, though unspecified, value. Sometimes, however, it is useful to be able to make ...

FindInstance[expr, vars] finds an instance of vars that makes the statement expr be True. FindInstance[expr, vars, dom] finds an instance over the domain dom. Common choices ...

Building on its core symbolic architecture, Mathematica gives immediate access to the latest in industrial-strength Boolean computation. With highly general symbolic ...

Mathematica notebooks provide a sophisticated environment for creating technical documents. In addition to typesetting within Mathematica , you can use Mathematica to ...