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

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

Eliminate[eqns, vars] eliminates variables between a set of simultaneous equations.

SolveAlways[eqns, vars] gives the values of parameters that make the equations eqns valid for all values of the variables vars.

Mathematica transparently works with complex variables throughout, not only numerically, but also symbolically—often relying on original results to handle intricate branch ...

Building on its broad strengths in mathematics in general, and in special functions in particular, Mathematica provides a unique level of support for multiplicative number ...

Mathematica's symbolic character allows a powerful unification of the notion of conditionals in programming and in mathematics.

Mathematica represents Boolean expressions in symbolic form, so they can not only be evaluated, but also be symbolically manipulated and transformed. Incorporating ...

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

The Mathematica functions Reduce, Resolve, and FindInstance allow you to solve a wide variety of problems that can be expressed in terms of equations and inequalities. The ...