Theorem of
An Interchangeable Theorem of Integral
8
Fundamental theorem of algebra
50
On a theorem of Schur
6
A generalization of a theorem of Bor
8
Fixed point theorems in CAT(0) spaces with applications
26
Theorem 1. (Desargues’ Theorem (nonplanar case) Suppose that we are given
31
Savage's theorem with atoms
33
Belyi's theorem revisited
13
On some permutation polynomials over finite fields
10
Savage's theorem with atoms
32
On the Maximal Domain Theorem
23
On The Eneström-Kakeya Theorem
11
Sandwich classification theorem
6
Theorem recycling for Theorem Proving
8
A stochastic Ramsey theorem
79
Bernays and the completeness theorem
11
Stone's representation theorem
73
On the Putnam Fuglede theorem
14
Applications of the fluctuation theorem
151
Weak Grothendieck's theorem
12