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