Differential equation invariance axiomatization

@ARTICLE{DBLP:journals/corr/abs-1905-13429,
  author    = {Andr{\'{e}} Platzer and
               Yong Kiam Tan},
  title     = {Differential Equation Invariance Axiomatization},
  journal   = {CoRR},
  volume    = {abs/1905.13429},
  year      = {2019},
  archivePrefix = {arXiv},
  eprint    = {1905.13429},
}```