Ovidiu Radulescu

Symbolic Methods for Biological Networks D2.1 Report on Scalable Methods for Tropical Solutions (T1.2)

Tropical geometry can be used to find the order of time scales of variables in chemical reaction networks and search for model reductions [SGF+15]. In this report, we consider the …

Christoph Lüders
Read more

A constraint solving approach to model reduction by tropical equilibration

Model reduction is a central topic in systems biology and dynamical systems theory, for reducing the complexity of detailed models, finding important parameters, and developing …

Sylvain Soliman
Read more

A Constraint Solving Approach to Tropical Equilibration and Model Reduction

Model reduction is a central topic in systems biology and dynamical systems theory, for reducing the complexity of detailed models, finding important parameters, and developing …

Sylvain Soliman
Read more