Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
https://rdcu.be/cbpcP (Publisher version)
Seiler2021_Article_ALogicBasedApproachToFindingRe.pdf (Publisher version), 2MB
Seiler, W. M., Seiß, M., & Sturm, T. (2021). A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations. Mathematics in Computer Science, 15, 333-352. doi:10.1007/s11786-020-00485-x.