Steven Clontz

math, education, technology, infrastructure, puzzles

TBIL Library Notes

notes for the TBIL Community Workshop @ JMM 2025

Posted by Steven Clontz on January 6, 2025

Modeling and Verifying Mathematics by Computer

notes for my colloquium talk today

Posted by Steven Clontz on October 3, 2024

Sociotechnical infrastructure for mathematics research

talk for topos institute

Posted by Steven Clontz on March 28, 2024

Connectedness of finite topological spaces

notes for combinatrorics seminar

Posted by Steven Clontz on March 18, 2024

STDC 2024

workshop link

Posted by Steven Clontz on March 7, 2024