TY  - RPRT
TI  - Differential Equation Axiomatization: The Impressive Power of Differential Ghosts
AU  - André Platzer
AU  - Yong Kiam Tan
PY  - 2019
DO  - 10.1145/3209108.3209147
UR  - https://arxiv.org/abs/1802.01226
ID  - 1802.01226
ER  -