Algebraic approaches to stability analysis of biological systems

In this paper, we improve and extend the approach of Wang and Xia for stability analysis of biological systems by making use of Gröbner bases, (CAD-based) quantifier elimination, and discriminant varieties, as well as the stability criterion of Liénard and Chipart, and showing how to analyze the stability of Hopf bifurcation points. The stability and bifurcations for a class of self-assembling micelle systems with chemical sinks are analyzed in detail. We provide experimental results with comparisons for 15 biological models taken from the literature.