39 citations · 219 across the 22 of their papers we have counts for
1 paper · 2 filters
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…