
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations
Detailed mechanistic models of biological processes can pose significant...
read it

Algorithms yield upper bounds in differential algebra
Consider an algorithm computing in a differential field with several com...
read it

Computing all identifiable functions for ODE models
Parameter identifiability is a structural property of an ODE model for r...
read it

Separating Variables in Bivariate Polynomial Ideals
We present an algorithm which for any given ideal I⊆K [x,y] finds all el...
read it

Inputoutput equations and identifiability of linear ODE models
Structural identifiability is a property of a differential model with pa...
read it

The Dynamics of Canalizing Boolean Networks
Boolean networks are a popular modeling framework in computational biolo...
read it

SIAN: software for structural identifiability analysis of ODE models
Biological processes are often modeled by ordinary differential equation...
read it

Degree bound for toric envelope of a linear algebraic group
Algorithms working with linear algebraic groups often represent them via...
read it

Power series expansions for the planar monomerdimer problem
We compute the free energy of the planar monomerdimer model. Unlike the...
read it

Bounds for Substituting Algebraic Functions into Dfinite Functions
It is well known that the composition of a Dfinite function with an alg...
read it

Bounds for elimination of unknowns in systems of differentialalgebraic equations
Elimination of unknowns in systems of equations, starting with Gaussian ...
read it

Upper bound for effective differential elimination
We present an upper bound for the number of differentiations in differen...
read it
Gleb Pogudin
is this you? claim profile