Computers and Mathematics in Partial Differential Equations - New Developments and Challenges

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.