Notice

Hundred Greatest Theorems ***

User Rating:  / 0
PoorBest 

A collection of greatest theorems presented at a mathematics conference in July, 1999, by Paul and Jack Abad : "The Hundred Greatest Theorems."  ( EN ).

These theorems in a formalized form ( EN ).