Гипатия Александрийская (IV-V век) - первая известная женщина-математик. Преподавала в Александрии, занималась геометрией и астрономией. Была убита религиозными фанатиками.
Эмми Нетер (1882-1935) - немецкая математичка, одна из основательниц абстрактной алгебры. Теорема Нетер связывает симметрии и законы сохранения в физике. Эйнштейн называл ее гением.
Мариам Мирзахани (1977-2017) - иранка, первая и пока единственная женщина, получившая Филдсовскую премию (математический аналог Нобелевки). Занималась геометрией поверхностей.
Софья Ковалевская - раз ты уже знаешь, просто добавлю: первая в мире женщина-профессор математики. Работы по дифференциальным уравнениям и механике.
Карен Уленбек - в 2019 году получила Абелевскую премию. Геометрический анализ.
Этого хватит для хорошего доклада.
Огромное спасибо! Про Эмми Нетер вообще не слышала, а она оказывается ключевая фигура. Пойду гуглить подробнее.