Journal article
A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations
Publication Details
Authors: | Seiler, W.; Seiß, M.; Sturm, T. |
Publication year: | 2021 |
Journal: | Mathematics in Computer Science |
Pages range : | 333-352 |
Volume number: | 15 |
Issue number: | 2 |
ISSN: | 1661-8270 |
eISSN: | 1661-8289 |
DOI-Link der Erstveröffentlichung: |
