research
∙
01/22/2022
ODEbase: A Repository of ODE Systems for Systems Biology
Recently, symbolic computation and computer algebra systems have been su...
share
research
∙
07/04/2021
Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems
We consider the problem of binomiality of the steady state ideals of bio...
research
∙
05/23/2021
Parametric Toricity of Steady State Varieties of Reaction Networks
We study real steady state varieties of the dynamics of chemical reactio...
research
∙
10/20/2020
Algorithmic Reduction of Biological Networks With Multiple Time Scales
We present a symbolic algorithmic approach that allows to compute invari...
research
∙
02/28/2020
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...
research
∙
02/10/2020
First-Order Tests for Toricity
Motivated by problems arising with the symbolic analysis of steady state...
research
∙
10/09/2019
Efficiently and Effectively Recognizing Toricity of Steady State Varieties
We consider the problem of testing whether the points in a complex or re...
research
∙
04/25/2018
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
We consider systems of strict multivariate polynomial inequalities over ...
research
∙
06/27/2017
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
We investigate models of the mitogenactivated protein kinases (MAPK) net...
research
∙
04/28/2017