A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations
Crossref DOI link: https://doi.org/10.1007/s11786-020-00485-x
Published Online: 2020-06-17
Published Print: 2021-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Seiler, Werner M.
Seiß, Matthias
Sturm, Thomas
Funding for this research was provided by:
Universität Kassel
Text and Data Mining valid from 2020-06-17
Version of Record valid from 2020-06-17
Article History
Received: 22 September 2019
Revised: 29 February 2020
Accepted: 5 March 2020
First Online: 17 June 2020