TY  - RPRT
TI  - Extraction of a computer-certified ODE solver
AU  - Grigory Devadze
AU  - Lars Flessing
AU  - Stefan Streif
PY  - 2021
UR  - https://arxiv.org/abs/2104.02536
ID  - 2104.02536
ER  -