Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
https://rdcu.be/cbpcP (Verlagsversion)
Seiler2021_Article_ALogicBasedApproachToFindingRe.pdf (Verlagsversion), 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.