Home /  Computer Assisted Proofs in Applied Mathematics (SLMath)

Summer Graduate School

Computer Assisted Proofs in Applied Mathematics (SLMath) July 07, 2025 - July 18, 2025
Parent Program: --
Location: SLMath: Eisenbud Auditorium, Atrium
Organizers LEAD Jonathan Jaquette (New Jersey Institute of Technology), Evelyn Sander (George Mason University)

Show List of Lecturers

Teaching Assistants(s)

Show List of Teaching Assistants


One of the core elements of applied mathematics is mathematical modeling, consisting of nonlinear equations, such as maps, and ordinary differential equations, and partial differential equations. Such models are widely used to describe complex phenomena in biology, physics, chemistry, meteorology, epidemiology, medicine, and many other fields. A fundamental difficulty arising in studying nonlinear models is that most cannot be solved in closed form. 

Computer assisted proofs are at the forefront of modern mathematics, and have led to many important recent mathematical advances. They provide a way of melding analytical techniques with numerical methods, in order to provide rigorous statements for mathematical models that could not be treated by either method alone. 

In this summer school, students will review standard computational and analytical techniques, learn to combine these techniques with more specialized methods of interval arithmetic and automatic differentiation, and apply these methods to establish rigorous results in otherwise intractable problems. They will start by learning to find rigorous bounds for intractable integrals and series solutions, establish existence and behavior of equilibrium solutions and periodic orbits for iterated maps, ordinary and partial differential equations, and to find accurate validated bounded for solutions of initial and boundary value problems. The course will be highly interactive, with students working through and presenting a series of exercises, culminating with a more substantial final project.

School Structure

There will be two lectures and two problem sessions each day. Students will work in groups of 3-4 on problem sessions.  In the second week, each group will prepare a week long project, to be presented on the last day of the program.


Required: One semester of the following topics or practical equivalent:

  • Introduction to programming
  • Undergraduate numerical analysis
  • Undergraduate real analysis

Recommended: Basic theory of Banach spaces, and familiarity with the Contraction Mapping Theorem, as found in a standard graduate analysis or functional analysis book.

Application Procedure

For eligibility and how to apply, see the Summer Graduate Schools homepage.

Keywords and Mathematics Subject Classification (MSC)
  • Computer assisted proofs

  • Differential equations

  • Numerical Analysis

  • Interval arithmetic

  • bifurcation

  • periodic orbits

  • Applied Mathematics

  • Mathematical modeling

Primary Mathematics Subject Classification
Secondary Mathematics Subject Classification No Secondary AMS MSC
Funding & Logistics Show All Collapse

Show Directions to Venue