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 4Polytopes (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 AardenneEhrenfest, 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 BousquetMélou)
A
Theorem of Melody Chan on Group Actions (Melody Chan)
1factorisation
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 ZeroKnowledge Provable (Shafi Goldwasser)
The Greibach Normal Form Theorem (Sheila Greibach)
A Theorem on Maximal Sumfree Sets in Groups (Sarah Hart)
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/2n 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
ThreeDistance 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)
