general/articles-containing-proofs

Equations of degree 5 or higher cannot be solved by radicals

Condition for a linear operator to be open

Theorem about the dual of a Hilbert space

There are infinitely many prime numbers

Function theory with quaternion variable

Theorem about zeros of holomorphic functions

Condition for a linear operator to be open

Lower bound on variance of an estimator

Monotone maps have countable discontinuities

Nonempty, upper-bounded, downward-closed subset

Theorem in functional analysis

On distance between centers of a triangle

Nonempty, upper-bounded, downward-closed subset

Theorem in functional analysis

Rules in probabilistic logic

Type of orthogonal polynomials

Complexity class

Bound on probability of a random variable being far from its mean

There are infinitely many prime numbers

Function theory with quaternion variable

Theorem stating that pointwise boundedness implies uniform boundedness

Relating coefficients and roots of a polynomial

Equations of degree 5 or higher cannot be solved by radicals

There are infinitely many prime numbers

Function theory with quaternion variable

Nonempty, upper-bounded, downward-closed subset

Theorem in functional analysis

Equations of degree 5 or higher cannot be solved by radicals

Number theory theorem

Sum of an (infinite) geometric progression

Technique used in mathematical logic

Condition for a linear operator to be open

Criterion for positivity of a Hermitian matrix

Existence of group elements of prime order

Equations of degree 5 or higher cannot be solved by radicals

Nonempty, upper-bounded, downward-closed subset

Theorem in functional analysis

There are infinitely many prime numbers

Function theory with quaternion variable

Condition for a linear operator to be open

Equations of degree 5 or higher cannot be solved by radicals

Nonempty, upper-bounded, downward-closed subset

Theorem in functional analysis

Lower bound on variance of an estimator

There are infinitely many prime numbers