Decide the existence of solutions of a univariate polynomial equation:

Decide the existence of solutions of a multivariate polynomial system:

Decide the truth value of fully quantified polynomial formulas:

Find conditions under which a polynomial equation has solutions:

Find conditions under which a polynomial system has solutions:

Find conditions under which a quantified polynomial formula is true:

Decide the existence of solutions of a univariate polynomial equation:

Decide the existence of solutions of a univariate polynomial inequality:

Decide the existence of solutions of a multivariate polynomial system:

Decide the truth value of fully quantified polynomial formulas:

Decide the existence of solutions of an exp-log equation:

Decide the existence of solutions of an exp-log inequality:

Decide the existence of solutions of an elementary function equation in a bounded interval:

Decide the existence of solutions of a holomorphic function equation in a bounded interval:

Decide the existence of solutions of a periodic elementary function equation:

Fully quantified formulas exp-log in the first variable and polynomial in the other variables:

Fully quantified formulas elementary and bounded in the first variable:

Fully quantified formulas holomorphic and bounded in the first variable:

Find conditions under which a linear system has solutions:

Find conditions under which a quadratic system has solutions:

Find conditions under which a polynomial system has solutions:

Find conditions under which a formula linear in quantified variables is true:

Find conditions under which a formula quadratic in quantified variables is true:

Find conditions under which a quantified polynomial formula is true:

Decide the existence of solutions of a linear system of equations:

Decide the existence of solutions of a linear system of equations and inequalities:

Decide the existence of solutions of a univariate polynomial equation:

Decide the existence of solutions of a univariate polynomial inequality:

Decide the existence of solutions of Frobenius equations:

Decide the existence of solutions of binary quadratic equations:

Decide the existence of solutions of a Thue equation:

Decide the existence of solutions of a sum of squares equation:

Decide the existence of solutions of a bounded system of equations and inequalities:

Decide the existence of solutions of a system of congruences:

Decide the satisfiability of a Boolean formula:

Find conditions under which a quantified Boolean formula is true:

Decide the existence of solutions of an equation involving a real and a complex variable:

Decide the existence of solutions of an inequality involving

Abs[x]:

Find under what conditions a fourth power of a complex number is real: