@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 ...}
}