The minisymposium Computer-Assisted Mathematics was held at CanaDAM 2025 on May 20, 2025.
Jack Wesley “Computational bounds for book Ramsey numbers” [recording]
Karyn McKellan “A Computational Counterexample on Sets Containing Fibonacci Numbers” [recording]
Alena Gusakov “Formalizing Combinatorics Definitions in the Lean Theorem Prover” [recording]
Kevin Cheung “Formalizing a result on polygonal numbers in Lean 4—an experience report”
Jonathan Jedwab “The maximum number of mutually orthogoval Desarguesian affine planes of order 2n”