Vol. 74 Berg, Jan Bouwe van den; Lessard, Jean-Philippe (Eds.)
Rigorous numerics in dynamics : AMS Short Course, Rigorous Numerics in Dynamics, January 4-5, 2016, Seattle, Washington
QA321.5 R54