A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations
Seiler, Werner M., SeiÃ, Matthias, Sturm, ThomasJournal:
Mathematics in Computer Science
DOI:
10.1007/s11786-020-00485-x
Date:
June, 2020
File:
PDF, 1.42 MB
2020