Computer Assisted Proofs in Applied Mathematics

Math 689, GMU Spring, 2026