TY  - RPRT
TI  - Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL
AU  - Thomas Hickman
AU  - Christian Pardillo Laursen
AU  - Simon Foster
PY  - 2021
UR  - https://arxiv.org/abs/2102.02679
ID  - 2102.02679
ER  -