@entry{tuc-15-aa, author = {W Tucker}, title = {Interactive Theorem Proving and Rigorous Numerics for ODEs}, journal = {}, volume = {}, number = {}, pages = {}, year = 2015, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://www.kalendarium.uu.se/Evenemang?eventId=12250}}}, quotes = {... We present the formal verification of a rigorous numerical algorithm for solving ODEs based on affine arithmetic and Runge-Kutta methods. It includes heuristics to split, intersect, and ...} }