PowerExpand[expr] expands all powers of products and powers. PowerExpand[expr, {x_1, x_2, ...}] expands only with respect to the variables x_i.

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 treats equations as logical statements. If you type in an equation like x^2+3x==2, Mathematica interprets this as a logical statement which asserts that x^2+3x is ...

Mathematica 7 represents another major achievement in Mathematica's long history of innovation in mathematics and algorithms. Building on the broad capabilities of ...

When Mathematica reads the text x^y, it interprets it as x raised to the power y. In a notebook, you can also give the two-dimensional input x^y directly. Mathematica again ...

 

PolynomialGCD[poly_1, poly_2, ...] gives the greatest common divisor of the polynomials poly_i. PolynomialGCD[poly_1, poly_2, ..., Modulus -> p] evaluates the GCD modulo the ...

FullSimplify[expr] tries a wide range of transformations on expr involving elementary and special functions, and returns the simplest form it finds. FullSimplify[expr, assum] ...

Mathematica is built to handle arbitrarily large computations—limited only by computer time and memory—and provides a collection of convenient global safety features to ...

The primes have been a focal point for investigations of numbers for more than two millennia. Mathematica implements state-of-the-art algorithms for handling both primes and ...