Symbolic Computation

Solutions to mixed systems of equations and inequalities in Reduce.

Complete solving of polynomial systems over real or complex numbers.

Solving large classes of Diophantine equations.

ForAll and Exists quantifiers and quantifier elimination.

Representation of discrete and continuous algebraic and transcendental solution sets.

FindInstance for finding instances of solutions over different domains.

Exact constrained minimization over real and integer domains.

Integrated support for assumptions using Assuming and Refine.

RSolve for solving recurrence equations.

Support for nonlinear, partial and difference equations and systems.

Full solutions to systems of rational ordinary differential equations.

Support for differential-algebraic equations.

CoefficientArrays for converting systems of equations to tensors.