Rigorous numerics in dynamics : AMS Short Course, Rigorous Numerics in Dynamics, January 4-5, 2016, Seattle, Washington / Jan Bouwe van den Berg, Jean-Philippe Lessard, editors. Providence, Rhode Island : American Mathematical Society, 2018