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