Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:2003.00740.pdf (Preprint), 890KB
Seiler, W. M., Seiss, M., & Sturm, T. (2020). A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations. Retrieved from https://arxiv.org/abs/2003.00740.