Home /  SummerSchool /  Schedules /  Morning Session 1: Introduction to Computer Assisted Proofs in Applied Math

Morning Session 1: Introduction to Computer Assisted Proofs in Applied Math

Computer Assisted Proofs in Applied Mathematics (SLMath) July 07, 2025 - July 18, 2025

July 07, 2025 (09:15 AM PDT - 10:15 AM PDT)
Speaker(s): Jonathan Jaquette (New Jersey Institute of Technology)
Location: SLMath: Eisenbud Auditorium, Online/Virtual
Video

Morning Session 1- Introduction to Computer Assisted Proofs in Applied Math
Abstract No Abstract Uploaded
Supplements
Asset no preview Lecture Notes 3.01 MB application/pdf Download
Video/Audio Files

Morning Session 1- Introduction to Computer Assisted Proofs in Applied Math

Troubles with video?

Please report video problems to itsupport@slmath.org.

See more of our Streaming videos on our main VMath Videos page.