Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

Centuries ago, a prestigious Islamic library brought Arabic numerals to the world. Though the library long since disappeared, its mathematical revolution changed our world. The House of Wisdom sounds ...

The new EF+Math Resource Library will feature evidence-based tools, research, and resources on improving math learning by strengthening students' executive functioning skills. OAKLAND, Calif., Feb. 10 ...

The Edward Worth Library may be unknown to many readers. Housed in Dr Steevens's Hospital, now an administrative centre for the Health Service Executive, the library was collected by hospital trustee ...

The University of Minnesota plans on closing the Vincent Hall math library by the summer of 2025, though the move is not welcomed by everyone. According to an announcement on Jan. 24 addressed to the ...

Nearly 600 people visited a Scottish Borders museum that was previously under threat of closure during Maths Week Scotland. Hawick Museum, whose future was secured earlier this month, hosted families, ...

Centuries ago, a prestigious Islamic library brought Arabic numerals to the world. Though the library long since disappeared, its mathematical revolution changed our world. The House of Wisdom sounds ...