
Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems
We consider the problem of binomiality of the steady state ideals of bio...
read it

Parametric Toricity of Steady State Varieties of Reaction Networks
We study real steady state varieties of the dynamics of chemical reactio...
read it

Algorithmic Reduction of Biological Networks With Multiple Time Scales
We present a symbolic algorithmic approach that allows to compute invari...
read it

A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks
Motivated by problems from Chemical Reaction Network Theory, we investig...
read it

FirstOrder Tests for Toricity
Motivated by problems arising with the symbolic analysis of steady state...
read it

Efficiently and Effectively Recognizing Toricity of Steady State Varieties
We consider the problem of testing whether the points in a complex or re...
read it

Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
We consider systems of strict multivariate polynomial inequalities over ...
read it

Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
We investigate models of the mitogenactivated protein kinases (MAPK) net...
read it

A Case Study on the Parametric Occurrence of Multiple Steady States
We consider the problem of determining multiple steady states for positi...
read it
Thomas Sturm
is this you? claim profile