All times Eastern Time (US & Canada). Page loaded at 10:30 AM Eastern Time (US & Canada) (UTC -04:00).
Mon, September 08
09:00 AM
09:00 AM
09:10 AM
House of Graphs: A database of interesting graphs and more
—
Jan Goedgebeur
10:05 AM
Mathlib: Maintaining a monolith
—
Yaël Dillies
10:50 AM
03:00 PM
03:00 PM
03:10 PM
The Institute for Computer-Aided Reasoning in Mathematics (ICARM)
—
Jeremy Avigad
04:05 PM
HTML Papers on arXiv -- Intent on Accessibility
—
Deyan Ginev
04:50 PM
Mon, September 15
09:00 AM
09:00 AM
09:10 AM
Accessible Papers with PreTeXt
—
Oscar Levin
10:50 AM
03:00 PM
03:00 PM
03:10 PM
The L-functions and Modular Forms Database
—
David Roe
04:05 PM
Lessons from Software on Managing Complexity
—
Jeremy Kun