Differential equation invariance axiomatization

@ARTICLE{DBLP:journals/jacm/PlatzerT20,
	pdf = {https://dl.acm.org/doi/pdf/10.1145/3380825},
	slides = {pub/diffaxiomatic-long-slides.pdf},

  author    = {Andr{\'{e}} Platzer and
               Yong Kiam Tan},
  title     = {Differential Equation Invariance Axiomatization},
  journal   = {J. {ACM}},
  volume    = {67},
  number    = {1},
  pages     = {6:1--6:66},
  year      = {2020},
  doi       = {10.1145/3380825},
}```