Current Course

Working seminar on Computer Assisted Proofs

During the following sessions we will work on the paper

Rigorous Numerics for Analytic Solutions of Differential Equations: The Radii Polynomial Approach

Authors: Allan Hungria, Jean-Philippe Lessard and J. D. Mireles James

DOI: https://doi.org/10.1090/mcom/3046

The first two sessions will be dedicated to introducing interval arithmetic and fixed point theorems in the context of computer assisted proofs. For these introductory sessions, we will follow the following references:

  • Tucker, W. (2011). Validated Numerics: A Short Introduction to Rigorous Computations. Princeton University Press. https://doi.org/10.2307/j.ctvcm4g18
  • Van Den Berg, J. B., & Lessard, J. P. (2015). Rigorous numerics in dynamics. Notices of the American Mathematical Society, 62(9), 1057–1061. https://doi.org/10.1090/noti1276