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 … Continue reading Current Course