Steven Clontz

math, education, technology, infrastructure, puzzles

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

ScholarLattice

embed proof of concept

Posted by Steven Clontz on February 7, 2024