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
Journal acronym:
Mathematics in Computer Science
Volume number:
15
Issue number:
2
ISSN:
1661-8270



Authors/Editors

Last updated on 2021-13-10 at 14:19