Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems

Journal of Symbolic Computation

Volumn 40, Issue 6, 2005, Pages 1361-1382

  Gatermann, Karin ^b   Eiswirth, Markus ^a   Sensse, Anke ^a  

^a FRITZ HABER INSTITUT DER MAX PLANCK GESELLSCHAFT   (Germany)

^b UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

Algebraic geometry; Chemical kinetics

Indexed keywords

EID: 27744465496     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2005.07.002     Document Type: Article

References (36)

1. A. Capani G. Niesi L. Robbiano CoCoA, A System for Doing Computations in Commutative Algebra 4.0 ed 2000 Available via anonymous ftp from cocoa.dima.unige.it
2. B.L. Clarke Stability of complex reaction networks Adv. Chem. Phys. 43 1980 1-213
3. D. Cox J. Little D. O'Shea Ideals, Varieties, and Algorithms, An Introduction to Computational Algebraic Geometry and Commutative Algebra In: Undergraduate Texts in Mathematics 1992 Springer New York
4. G. Dupont A. Goldbeter Allosteric regulation, cooperativity, and biochemical oscillations Biophys. Chem. 37 1990 341-353
5. M. Eiswirth Instability and oscillations in chemistry Suuri Kagaku 372 1994 59-64
6. M. Eiswirth J. Bürger P. Strasser G. Ertl Oscillating Langmuir-Hinshelwood mechanisms J. Phys. Chem. 100 1996 19118-19123
7. M. Eiswirth A. Freund J. Ross Mechanistic classification of chemical oscillators and the role of species Adv. Chem. Phys. 1991 127-197
8. M. Feinberg The existence and uniqueness of steady states for a class of chemical reaction networks Arch. Ration. Mech. Anal. 132 1995 311-370
9. F.R. Gantmacher Matrizentheorie 1986 Springer Berlin
10. K. Gatermann Counting stable solutions of sparse polynomial systems in chemistry In: Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering In: Contemporary Mathematics vol. 286 2001 American Mathematical Society 53-69
11. K. Gatermann B. Huber A family of sparse polynomial systems arising in chemical reaction systems J. Symbolic Comput. 33 2002 275-305
12. K. Gatermann A. Sensse storch 1.0, stability of reactions in chemistry. Maple 7 2002 Available at http://www.zib.de/gatermann/software.html
13. Gatermann, K., Wolfrum, M., 2003. Bernstein's second theorem and Viro's method for sparse polynomial systems in chemistry. Adv. Appl. Math. (in press). Available at http://www.zib.de/gatermann/publi.html
14. Gawrilov, E., Joswig, M., 1997. polymake, version 2.0. http://www.math.tu-berlin.de/diskregeom/polymake, 1997-2003. With contributions by T. Schröder and N. Witte
15. Greuel, G.-M., Pfister, G., Schönemann, H., 2001. Singular 2.0. A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern. http://www.singular.uni-kl.de.
16. J. Guckenheimer P. Holmes Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields In: Applied Mathematical Sciences vol. 42 1986 Springer New York
17. P. Hanusse Etudes des systemes dissipatifs chimiques a deux et trois especes intermediaires C. R. Acad. Sci. Paris 277 1973 C-263
18. R. Heinrich S. Schuster The Regulation of Cellular Systems 1996 Chapman & Hall New York
19. P. Holme M. Huss H. Jeong Subnetwork hierarchies of biochemical pathways Bioinformatics 19 2003 532-538
20. F. Horn R. Jackson General mass action kinetics Arch. Ration Mech. Anal. 41 1972 81-116
21. B. Huber R. Thomas TiGERS 1999 Available at http://www.math.washington.edu/~thomas/programs/tigers.html
22. B. Huber R. Thomas Computing Gröbner fans of toric ideals Exp. Math. 9 2000 321-331
23. A.N. Ivanova Conditions for uniqueness of the stationary states of kinetic systems, connected with the structures of their reaction mechanisms Kinet. Katal. 20 4 1979 1019-1023
24. C. Jeffries V. Klee P. van den Driessche When is a matrix sign-stable? Canad. J. Math. 29 1977 315-326
25. Klamt, S., 2002. FluxAnalyzer. An interactive program in Matlab. Max-Planck Institut Magdeburg. Available on request
26. S. Klamt J. Stelling M. Ginkel E.D. Gilles FluxAnalyzer: Exploring structure, pathways and flux distributions in metabolic networks on interactive flux maps Bioinformatics 19 2 2003 261-269
27. V. Klee P. van den Driessche Linear algorithms for testing the sign-stability of a matrix and for finding z-maximum matchings in acyclic graphs Numer. Math. 28 1977 273-285
28. J.D. Murray Mathematical Biology 2002 Springer New York
29. S. Prajna A. Papachristodoulou P.A. Parrilo SOSTOOLS: Sum of squares optimization toolbox for MATLAB 2002 Available from http://control.ee.ethz.ch/~parrilo/sostools
30. S. Schuster et al. Elementary flux modes in biochemical reaction systems: Algebraic properties, validated calculation procedure and example from nucleotide metabolism J. Math. Biol. 45 2002 153-181
31. Sensse, A., 2002. Algebraic methods for the analysis of Hopf bifurcations in biochemical networks. Diploma thesis. Humboldt Universität Berlin
32. A. Sensse K. Gatermann M. Eiswirth Analytic solution for the electrocatalytic oxidation of formic acid J. Electroanal. Chem. 577 2005 35-46
33. B. Sturmfels Gröbner Bases and Convex Polytopes In: University Lecture Series vol. 8 1996 AMS Providence, RI
34. C. Theis Singular library toric.lib 2000
35. A.I. Vol'pert S.I. Hudjaev Equations of chemical kinetics In: Analysis in Classes of Discontinuous Functions and Equations of Mathematical physics 1985 Martinus Nijhoff Publishers Dordrecht 607-667 (Chapter 12)
36. Bican Xia, 2003. Private communication