@entry{imm-18-ab,
  author = {F Immler},
  title = {A Verified ODE Solver and Smale's 14th Problem},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://mediatum.ub.tum.de/1422071}}},
  quotes = {... For the implementation, I chose data structures and algorithms that are amenable to formal verification while at the same time exhibiting reasonable performance: affine arithmetic for ...}
}