Aufsatz in einer Fachzeitschrift
A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations
Details zur Publikation
Autor(inn)en: | Seiler, W.; Seiß, M.; Sturm, T. |
Publikationsjahr: | 2021 |
Zeitschrift: | Mathematics in Computer Science |
Seitenbereich: | 333-352 |
Jahrgang/Band : | 15 |
Heftnummer: | 2 |
ISSN: | 1661-8270 |
eISSN: | 1661-8289 |
DOI-Link der Erstveröffentlichung: |
