Investigating generic methods to solve Hopf bifurcation problems in algebraic biology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5147 LNCS, Issue , 2008, Pages 200-215

  Sturm, Thomas ^a   Weber, Andreas ^b  

^a UNIVERSITY OF PASSAU   (Germany)

^b UNIVERSITY OF BONN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BIFURCATION (MATHEMATICS); BIOLOGY; BOOLEAN ALGEBRA; MATRIX ALGEBRA; VECTORS;

COMPUTATION TIME; GENERIC METHODS; INTERNATIONAL CONFERENCES; PARAMETERIZED; POLYNOMIAL VECTOR FIELDS; QUANTIFIER ELIMINATION; SYMBOLIC COM-PUTATION; SYMBOLIC METHODS; VECTOR FIELDS;

HOPF BIFURCATION;

EID: 52949127380     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85101-1_15     Document Type: Conference Paper

References (19)

1. Boulier, F., Lefranc, M., Lemaire, F., Morant, P., Ürg̈uplü , A.: On proving the absence of oscillations in models of genetic circuits. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) AB 2007. LNCS, vol. 4545, pp. 66-80. Springer, Heidelberg (2007)
2. Gatermann, K., Eiswirth, M., Sensse, A.: Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems. Journal of Symbolic Computation 40(6), 1361-1382 (2005)
3. Niu, W., Wang, D.: Algebraic approaches to stability analysis of biological systems. Mathematics in Computer Science 1(3), 507-539 (2008)
4. Sensse, A., Hauser, M.J.B., Eiswirth, M.: Feedback loops for Shilnikov chaos: The peroxidase-oxidase reaction. The Journal of Chemical Physics 125, 014901, 1-12 (2006)
5. Fussmann, G.F., Ellner, S.P., Shertzer, K.W., Hairston, N.G.J.: Crossing the Hopf bifurcation in a live predator-prey system. Science 290(5495), 1358-1360 (2000)
6. Mincheva, M., Roussel, M.R.: Graph-theoretic methods for the analysis of chemical and biochemical networks. I. multistability and oscillations in ordinary differential equation models. Journal of Mathematical Biology 55(1), 61-86 (2007)
7. Novak, B., Pataki, Z., Ciliberto, A., Tyson, J.J.: Mathematical model of the cell division cycle of fission yeast. Chaos: An Interdisciplinary Journal of Nonlinear Science 11(1), 277-286 (2001)
8. Tyson, J.J., Chen, K., Novak, B.: Network Dynamics and Cell Physiology. Nat. Rev. Mol. Cell Biol. 2(12), 908-916 (2001)
9. El Kahoui, M., Weber, A.: Deciding Hopf bifurcations by quantifier elimination in a software-component architecture. Journal of Symbolic Computation 30(2), 161-179 (2000)
10. Weber, A.: Quantifier elimination on real closed fields and differential equations. In: Löwe, B. (ed.) Algebra, Logic, Set Theory - Festschrift für Ulrich Felgner zum 65. Geburtstag. Studies in Logic, vol. 4, pp. 291-315. College Publications (2007)
11. Weispfenning, V.: Simulation and optimization by quantifier elimination. Journal of Symbolic Computation 24(2), 189-208 (1997); Special issue on applications of quantifier elimination
12. Dolzmann, A., Sturm, T.: Redlog: Computer algebra meets computer logic. ACM SIGSAM Bulletin 31(2), 2-9 (1997)
13. Weispfenning, V.: Quantifier elimination for real algebra-the quadratic case and beyond. Applicable Algebra in Engineering Communication and Computing 8(2), 85-101 (1997)
14. Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation 12(3), 299-328 (1991)
15. Sturm, T.: Redlog online resources for applied quantifier elimination. Acta Academiae Aboensis, Ser. B 67(2), 177-191 (2007)
16. Dolzmann, A., Sturm, T.: Simplification of quantifier-free formulae over ordered fields. Journal of Symbolic Computation 24(2), 209-231 (1997)
17. Dolzmann, A., Sturm, T.,Weispfenning, V.: A new approach for automatic theorem proving in real geometry. Journal of Automated Reasoning 21(3), 357-380 (1998)
18. Brown, C.W., Groß, C.: Efficient preprocessing methods for quantifier elimination. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2006. LNCS, vol. 4194, pp. 89-100. Springer, Heidelberg (2006)
19. Sun, M., Tian, L., Yin, J.: Hopf bifurcation analysis of the energy resource chaotic system. International Journal of Nonlinear Science 1(1), 49-53 (2006)