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
(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 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 ...