VerifyTestAssumptions is an option to LocationTest and similar functions that controls which assumptions to verify through diagnostic tests.

Mathematica provides tools to simplify a diverse range of mathematical expressions to make them easier to understand, or more efficient to compute.

Simplify[expr] performs a sequence of algebraic and other transformations on expr, and returns the simplest form it finds. Simplify[expr, assum] does simplification using ...

Integration functions. Here is the integral ∫_a^bx^2 dx. This gives the multiple integral ∫_0^adx ∫_0^bd y(x^2+y^2).

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 usually pays no attention to whether variables like x stand for real or complex numbers. Sometimes, however, you may want to make transformations which are ...

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

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

A core activity in exploratory experimental mathematics is recognition of numbers: going backward from a number to find out how it can be generated. Mathematica provides ...

Mathematica includes functions for performing a variety of specific algebraic transformations. Some are algorithmically straightforward; others include highly sophisticated ...