A linear system:

A univariate polynomial equation:

A multivariate polynomial equation:

Systems of polynomial equations and inequations:

This gives three solution instances:

If there are no solutions

FindInstance returns an empty list:

If there are fewer solutions than the requested number,

FindInstance returns all solutions:

Quantified polynomial system:

An algebraic system:

Transcendental equations:

In this case there is no solution:

A solution in terms of transcendental

Root objects:

A system of transcendental equations:

A linear system:

A univariate polynomial equation:

A univariate polynomial inequality:

A multivariate polynomial equation:

A multivariate polynomial inequality:

Systems of polynomial equations and inequalities:

Get four solution instances:

If there are no solutions

FindInstance returns an empty list:

If there are fewer solutions than the requested number,

FindInstance returns all solutions:

A quantified polynomial system:

An algebraic system:

Piecewise equations:

Piecewise inequalities:

Transcendental equations:

A solution in terms of transcendental

Root objects:

Transcendental inequalities:

Transcendental systems:

A linear system of equations:

A linear system of equations and inequalities:

Find more than one solution:

A univariate polynomial equation:

A univariate polynomial inequality:

Binary quadratic equations:

A Thue equation:

If there are fewer solutions than the requested number,

FindInstance returns all solutions:

A sum of squares equation:

The Pythagorean equation:

A bounded system of equations and inequalities:

A high-degree system with no solution:

Transcendental Diophantine systems:

A polynomial system of congruences:

A linear system:

A univariate polynomial equation:

A multivariate polynomial equation:

Find seven instances:

A system of polynomial equations and inequations:

A quantified polynomial system:

Mixed real and complex variables:

Find a real value of

and a complex value of

for which

is real and less than

:

An inequality involving

Abs[z]: