RootIntervals[{poly_1, poly_2, ...}] gives a list of isolating intervals for the real roots of any of the poly_i, together with a list of which polynomials actually have each ...

Rationals represents the domain of rational numbers, as in x \[Element] Rationals.

The primes have been a focal point for investigations of numbers for more than two millennia. Mathematica implements state-of-the-art algorithms for handling both primes and ...

Complexes represents the domain of complex numbers, as in x \[Element] Complexes.

ChineseRemainder[{r_1, r_2, ...}, {m_1, m_2, ...}] gives the smallest non-negative x that satisfies all the integer congruences x mod m_i = r_i mod m_i.

FrobeniusSolve[{a_1, ..., a_n}, b] gives a list of all solutions of the Frobenius equation a_1 x_1 + ... + a_n x_n = b.FrobeniusSolve[{a_1, ..., a_n}, b, m] gives at most m ...

lhs == rhs returns True if lhs and rhs are identical.

Mathematica has many powerful features which enable you to solve many kinds of equations.

ExtendedGCD[n_1, n_2, ...] gives the extended greatest common divisor of the integers n_i.

ForAll[x, expr] represents the statement that expr is True for all values of x. ForAll[x, cond, expr] states that expr is True for all x satisfying the condition cond. ...