Computer-assisted proofs and rigorous numerics
Topics course I gave at the University of Minnesota, Spring 2026.
The course gave an introduction to computer-assisted proofs in analysis and the rigorous numerics they build on. It was split into three parts: an introduction to computer-assisted proofs, an introduction to rigorous numerics, and computer-assisted proofs in practice. The lecture notes and lab material are publicly available.