Polynomial equations solvable in radicals:

General polynomial equations:

Polynomial equations with multiple roots:

Polynomial equations with symbolic coefficients:

Algebraic equations:

Transcendental equations:

Univariate elementary function equations over bounded regions:

Univariate holomorphic function equations over bounded regions:

Here

Solve finds some solutions but is not able to prove there are no other solutions:

Equation with a purely imaginary period over a vertical stripe in the complex plane:

Symbolic functions:

Systems of linear equations:

Linear equations with symbolic coefficients:

Underdetermined systems of linear equations:

Linear equations with no solutions:

Systems of polynomial equations:

Polynomial equations with symbolic coefficients:

Algebraic equations:

Transcendental equations:

Polynomial equations:

Polynomial equations with multiple roots:

Polynomial equations with symbolic coefficients:

Algebraic equations:

Piecewise equations:

Transcendental equations, solvable using inverse functions:

Transcendental equations, solvable using special function zeros:

Transcendental inequalities, solvable using special function zeros:

Exp-log equations:

High-degree sparse polynomial equations:

Algebraic equations involving high-degree radicals:

Equations involving non-rational real powers:

Equation with a double root:

Tame elementary function equations:

Elementary function equations in bounded intervals:

Holomorphic function equations in bounded intervals:

Periodic elementary function equations over the reals:

Linear systems:

Polynomial systems:

Quantified polynomial systems:

Algebraic systems:

Piecewise systems:

Transcendental systems, solvable using inverse functions:

Systems exp-log in the first variable and polynomial in the other variables:

Quantified system:

Systems elementary and bounded in the first variable and polynomial in the other variables:

Quantified system:

Systems holomorphic and bounded in the first variable and polynomial in the other variables:

Quantified system:

Linear systems of equations:

Linear systems of equations and inequalities:

Univariate polynomial equations:

Binary quadratic equations:

Thue equations:

Sum of squares equations:

The Pythagorean equation:

Bounded systems of equations and inequalities:

High-degree systems with no solutions:

Transcendental Diophantine systems:

Polynomial systems of congruences:

Linear systems:

Univariate polynomial equations:

Systems of polynomial equations and inequations:

Quantified polynomial systems:

Mixed real and complex variables:

Mixed real and integer variables: