TY  - RPRT
TI  - A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations
AU  - Werner M. Seiler
AU  - Matthias Seiss
AU  - Thomas Sturm
PY  - 2020
DO  - 10.1007/s11786-020-00485-x
UR  - https://arxiv.org/abs/2003.00740
ID  - 2003.00740
ER  -