Theorem of the Day has a 'new acquisition': Theorem no. 198, the Art Gallery Theorem

Theorem of the Day has a 'new acquisition': Theorem no. 197, the Robin-Lagarias Theorem

Theorem of the Day has a 'new acquisition': Theorem no. 196, the Cantor-Bernstein-Schroeder Theorem

Theorem of the Day has a 'new acquisition': Theorem no. 195, the Erdos-Ko-Rado Theorem

Theorem of the Day has a 'new acquisition': Theorem no. 194, Wilson's Theorem

Theorem of the Day has a 'new acquisition': Theorem no. 193, Frieze's Theorem on Expected Minimum Tree Length

Theorem of the Day has a 'new acquisition': Theorem no. 192, the Rotation Distance Bound

Theorem of the Day has a 'new acquisition': Theorem no. 191, L'Hospital's Rule

Theorem of the Day has a 'new acquisition': Theorem no. 190, Jackson's Theorem on Compatible Euler Tours

Theorem of the Day has a 'new acquisition': Theorem no. 189, The Handshaking Lemma

Theorem of the Day has a 'new acquisition': Theorem no. 188, al-Kashi's Law of Cosines

Theorem of the Day has a 'new acquisition': Theorem no. 187, Karp's Theorem (Detail)

New on my home page: alphabetical theorem listing by keyword; now you can find all 5 theorems with 'partition' in the title instantly!

Theorem of the Day has a 'new acquisition': Theorem no. 186, The Insolvability of the Entscheidungsproblem

Theorem of the Day has a 'new acquisition': Theorem no. 185, Konig's Bipartite Matching Theorem

Theorem of the Day has a 'new acquisition': Theorem no. 184, von Neumann's Minimax Theorem

Theorem of the Day has a 'new acquisition': Theorem no. 183, Theorema Egregium. This marks half a leap year of theorems!

Theorem of the Day has a 'new acquisition': Theorem no. 182, the Girard-Newton Identities

Theorem of the Day has a 'new acquisition': Theorem no. 181, the Archimedes' Equiareal Map Theorem

From today for the next month Theorem of the Day is proudly hosting the 71st Carnival of Mathematics!