Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore the evolving relationship between traditional mathematics and modern computational methods in this seminar talk from Brown University's Javier Gomez Serrano at Harvard CMSA. Discover how computer-assisted proofs have advanced our understanding of partial differential equations over the past decade, with insights into rigorous mathematical demonstrations that combine classical approaches with computational power. Learn about emerging trends and future possibilities in this field, presented in an accessible manner that requires no prior specialized knowledge. Gain perspective on how technology is transforming mathematical proof techniques and opening new avenues for solving complex differential equations.
