@misc{indiciae3d074e8c37ee,
  title = {Extraction of a computer-certified ODE solver},
  author = {Grigory Devadze and Lars Flessing and Stefan Streif},
  year = {2021},
  url = {https://arxiv.org/abs/2104.02536},
  note = {Source identifier: 2104.02536}
}