Theorem of the Day

Theorems by Women Mathematicians

This separate listing celebrates the women who have proved, or jointly proved, theorems described in this website. Biographical and/or contact details may be found in the Index of Mathematicians. I would be very grateful to hear of any inaccuracies in this information.

Some general information relating to women in mathematics can be found here.

I am unlikely to resume my calendar series "12 Theorems by Women Mathematicians" in the near future (I am only adding new theorems very slowly at present and haven't accumulated enough new ones by women). The 2010 calendar is still available as a free download here.

Germain's Theorem (Sophie Germain, 1776–1833)

The Cauchy–Kovalevskaya Theorem (Sofia Kovalevskaya, 1850–1891)

The Classification of Archimedean 4-Polytopes (Alicia Boole Stott, 1860–1940)

The Albert–Brauer–Hasse–Noether Main Theorem and

The First Isomorphism Theorem and

The Second and Third Isomorphism Theorems and

The Skolem–Noether Theorem and

Noether's Symmetry Theorem (Emmy Noether, 1882–1935)

Cartwright's Theorem (Mary Lucy Cartwright, 1900–1998)

Moufang's Theorem (Ruth Moufang, 1905–1977)

The BEST Theorem (Tatyana van Aardenne-Ehrenfest, 1905–1984)

The Bungers–Lehmer Theorem on Cyclotomic Coefficients (Emma Lehmer, 1906–2007)

The Happy Ending Problem (Esther Klein, 1910–2005)

The Lutz–Nagell Theorem (Elisabeth Lutz, 1914–2008)

MacWilliams' Theorem (Florence Jessie MacWilliams, 1917–1990)

The DPRM Theorem (Julia Robinson, 1919–1985)

A Theorem on Rectangular Tensegrities (Jenny Baglivo)

Bailey's Theorem on Latin Squares (RA Bailey)

The Beardwood–Halton–Hammersley Theorem (Jillian Beardwood)

The Lecture Hall Partition Theorem (Mereille Bousquet-Mélou)

A Theorem of Melody Chan on Group Actions (Melody Chan)

1-factorisation of Regular Graphs (Amanda Chetwynd)

The Strong Perfect Graph Theorem (Maria Chudnovsky)

The Panarboreal Formula (Fan Chung)

The Polynomial Coprimality Theorem (Sylvie Corteel and Carla D. Savage)

The Asymptotic (Half) Liar Formula (Ioana Dumitriu)

Quadratic Nonresidue is Zero-Knowledge Provable (Shafi Goldwasser)

The Greibach Normal Form Theorem (Sheila Greibach)

Heath's Finitely Discontinuous Function Theorem (Jo Heath)

The Existence Theorem for Orthogonal Diagonal Latin Squares (Katherine Heinrich)

The Diaconis–Holmes–Montgomery Coin Tossing Theorem (Susan Holmes)

An Erdös–Ko–Rado Theorem on Intersecting Permutations (Claudia Malvenuto)

Neumann's Separation Lemma (Sheila Oates Macdonald)

The McIver–Neumann 1/2-n Bound (Annabelle McIver)

The Analyst's Travelling Salesman Theorem (Kate Okikiolu)

The Ollerenshaw–Brée Formula (Kathleen Ollerenshaw)

The Transversal Matroid Theorem (Hazel Perfect)

Sims' Conjecture and

Praeger's Theorem on Bounded Movement (Cheryl Praeger)

The Three-Distance Theorem and

The Friendship Theorem (Vera Sós)

A Theorem on Apollonian Circle Packings (Catherine Yan)

The Existence Theorem for Bachelor Latin Squares (Bridget Webb)