Algorithmic reduction of biological networks with multiple time scales
We present a symbolic algorithmic approach that allows to compute invariant manifolds and
corresponding reduced systems for differential equations modeling biological networks …
corresponding reduced systems for differential equations modeling biological networks …
Subtropical real root finding
T Sturm - Proceedings of the 2015 ACM on International …, 2015 - dl.acm.org
We describe a new incomplete but terminating heuristic method for real root finding for large
multivariate polynomials. We take an abstract view of the polynomial as the set of exponent …
multivariate polynomials. We take an abstract view of the polynomial as the set of exponent …
Pocab: A software infrastructure to explore algebraic methods for bio-chemical reaction networks
Given a bio-chemical reaction network, we discuss the different algebraic entities eg
stoichiometric matrix, polynomial system, deficiency and flux cones which are prerequisite …
stoichiometric matrix, polynomial system, deficiency and flux cones which are prerequisite …
[PDF][PDF] Project-Team VERIDIS
NG Est - Citeseer
The VeriDis project team includes members of the MOSEL team of LORIA, the computer
science laboratory in Nancy, and members of the Automation of Logic Research Group at …
science laboratory in Nancy, and members of the Automation of Logic Research Group at …