Mathematica normally makes as few assumptions as possible about the objects you ask it to manipulate. This means that the results it gives are as general as possible. But ...

DifferentialRootReduce[expr, x] attempts to reduce expr to a single DifferentialRoot object as a function of x.DifferentialRootReduce[expr, {x, x_0}] takes the initial ...

Complicated algebraic expressions can usually be written in many different ways. Mathematica provides a variety of functions for converting expressions from one form to ...

Mathematica handles formulas of all types, from polynomials with millions of terms to complex combinations of higher mathematical functions. It provides powerful general ...

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

DifferenceRootReduce[expr, n] attempts to reduce expr to a single DifferenceRoot object as a function of n.

Mathematica has a flexible system for specifying arbitrary symbolic assumptions about variables. It uses a wide range of sophisticated algorithms to infer the consequences of ...

BooleanMinimize[expr] finds a minimal-length disjunctive normal form representation of expr.BooleanMinimize[expr, form] finds a minimal-length representation for expr in the ...

Shorthand notations are a part of Mathematica 's rich syntax system that allows multiple ways to feed arguments to functions. In addition to creating compact code, using ...

RootReduce[expr] attempts to reduce expr to a single Root object.