activity
20142025
most citedOn the Numerical Analysis and Visualisation of Implicit Ordinary Differential Equations

7 citations · 13 across the 13 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2020★ 3 cited

A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations

Werner M. Seiler, Matthias Seiss, Thomas Sturm

We discuss the effective computation of geometric singularities of implicit ordinary differential equations over the real numbers using methods from logic. Via the Vessiot theory o…