Gleason's theorem and its applications by Dvurecenskij, Anatolij 1949-

Limit theorems for large deviations by Saulis, L.

Subjects: “…Limit theorems (Probability theory)…”

Coding Theorems of Information Theory by Wolfowitz, Jacob

Mechanical geometry theorem proving by Chou, Shang-Ching 1942-

Subjects: “…Automatic theorem proving.…”

Blasche's rolling theorem in Rn by Brooks, J. N. (Jeffrey Noel) 1956-

Atiyah-Singer index theorem : by Mukherjee, Amiya

Subjects: “…Atiyah-Singer index theorem.…”

Sharp real-part theorems : by Kresin, Gershon

A handbook of Fourier theorems by Champeney, D. C.

Fermat's last theorem for amateurs by Ribenboim, Paulo

Subjects: “…Fermat's last theorem.…”

Les trois étapes du problème pythagore-fermat : by Maroger, Alphonse Louis

Subjects:

Interactive theorem proving and program development : by Bertot, Yves

Subjects: “…Automatic theorem proving.…”

Refined large deviation limit theorems by Vinogradov, Vladimir

Representation theorems of Banach funtion spaces by Gretsky, Neil E., 1941-

Multiparameter eigenvalue problems and expansion theorems by Volkmer, Hans 1953-

Lectures on the arithmetic Riemann-Roch theorem by Faltings, Gerd

Subjects:

Similarity ; the theorem of Pythagoras ; the story of π by Apostol, Tom M.

Subjects:

Symbolic logic and mechanical theorem proving by Chang, Chin-Liang 1937-

Subjects:

Novikov conjectures, index theorems and rigidity :

Subjects:

Seminar on the Atiyah-Singer index theorem by Palais, Richard S.

Subjects: “…Atiyah-Singer index theorem.…”

Extension of positive operators and Korovkin theorems by Donner, Klaus 1945-