39 citations · 219 across the 22 of their papers we have counts for
4 papers · 1 filter
Algorithmic Reduction of Biological Networks With Multiple Time Scales
Niclas Kruff, Christoph Lüders, Ovidiu Radulescu +2
We present a symbolic algorithmic approach that allows to compute invariant manifolds and corresponding reduced systems for differential equations modeling biological networks whic…
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…
First-Order Tests for Toricity
Hamid Rahkooy, Thomas Sturm
Motivated by problems arising with the symbolic analysis of steady state ideals in Chemical Reaction Network Theory, we consider the problem of testing whether the points in a comp…
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks
Hamid Rahkooy, Ovidiu Radulescu, Thomas Sturm
Motivated by problems from Chemical Reaction Network Theory, we investigate whether steady state ideals of reversible reaction networks are generated by binomials. We take an algeb…