How to prove “all” differential equation properties

@techreport{PlatzerY17:TR,
	author = {['André Platzer', 'Yong Kiam Tan']},
	title = {How to Prove “All” Differential Equation Properties},
	number = {CMU-CS-17-117},
	year = {2017},
	month = {August},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2017/CMU-CS-17-117.pdf},
	note = {Extended version at arXiv:1802.01226.pdf}
}