{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T12:49:22Z","timestamp":1773233362441,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642235672","type":"print"},{"value":"9783642235689","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23568-9_7","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T00:37:54Z","timestamp":1314751074000},"page":"73-87","source":"Crossref","is-referenced-by-count":3,"title":["Chemical Reaction Systems, Computer Algebra and Systems Biology"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Boulier","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Lemaire","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Petitot","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"Sedoglavic","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-15274-0_4","volume-title":"Computer Algebra in Scientific Computing","author":"T. B\u00e4chler","year":"2010","unstructured":"B\u00e4chler, T., Gerdt, V., Lange-Hegermann, M., Robertz, D.: Thomas Decomposition of Algebraic and Differential Systems. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2010. LNCS, vol.\u00a06244, pp. 31\u201354. Springer, Heidelberg (2010)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Batt, G., Page, M., Cantone, I., Goessler, G., Monteiro, P., de Jong, H.: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. In: ECCB, vol.\u00a026, pp. i603\u2013i610 (2010)","DOI":"10.1093\/bioinformatics\/btq387"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s00200-009-0091-7","volume":"20","author":"F. Boulier","year":"2009","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Computing representations for radicals of finitely generated differential ideals. Applicable Algebra in Engineering, Communication and Computing\u00a020(1), 73\u2013121 (2009); (1997 Tech. rep. IT306 of the LIFL)","journal-title":"Applicable Algebra in Engineering, Communication and Computing"},{"key":"7_CR4","unstructured":"Boulier, F., Lefranc, M., Lemaire, F., Morant, P.-E.: Model Reduction of Chemical Reaction Systems using Elimination. Presented at the International Conference MACIS 2007 (2007), http:\/\/hal.archives-ouvertes.fr\/hal-00184558"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-85101-1_5","volume-title":"Algebraic Biology","author":"F. Boulier","year":"2008","unstructured":"Boulier, F., Lefranc, M., Lemaire, F., Morant, P.-E.: Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits. In: Horimoto, K., Regensburger, G., Rosenkranz, M., Yoshida, H. (eds.) AB 2008. LNCS, vol.\u00a05147, pp. 56\u201364. Springer, Heidelberg (2008)"},{"key":"7_CR6","unstructured":"Boulier, F., Lefranc, M., Lemaire, F., Morant, P.-E., \u00dcrg\u00fcpl\u00fc, A.: On Proving the Absence of Oscillations in Models of Genetic Circuits. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) AB 2007. LNCS, vol.\u00a04545, pp. 66\u201380. Springer, Heidelberg (2007), http:\/\/hal.archives-ouvertes.fr\/hal-00139667"},{"issue":"4","key":"7_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/968708.968710","volume":"37","author":"C.W. Brown","year":"2003","unstructured":"Brown, C.W.: QEPCAD B: a program for computing with semi-algebraic sets using CADs. SIGSAM Bulletin\u00a037(4), 97\u2013108 (2003), http:\/\/www.cs.usna.edu\/~qepcad\/B\/QEPCAD.html","journal-title":"SIGSAM Bulletin"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"343","DOI":"10.3166\/ejc.8.343-359","volume":"8","author":"M. Chaves","year":"2002","unstructured":"Chaves, M., Sontag, E.D.: State-Estimators for Chemical Reaction Networks of Feinberg-Horn-Jackson Zero Deficiency Type. European Journal Control\u00a08, 343\u2013359 (2002)","journal-title":"European Journal Control"},{"key":"7_CR9","unstructured":"The\u00a0Cytoscape Consortium. Cytoscape: An Open Source Platform for Complex Network Analysis and Visualization (2001-2010), http:\/\/www.cytoscape.org"},{"issue":"2","key":"7_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A. Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: Redlog: computer algebra meets computer logic. SIGSAM Bulletin\u00a031(2), 2\u20139 (1997)","journal-title":"SIGSAM Bulletin"},{"key":"7_CR11","unstructured":"El Din, M.S.: RAGLib: A library for real solving polynomial systems of equations and inequalities (2007), http:\/\/www-salsa.lip6.fr\/~safey\/RAGLib"},{"key":"7_CR12","unstructured":"Derelle, \u00c9., et al.: Genome Analysis of the smallest free-living eukaryote Ostreococcus tauri unveils many unique features. Proceedings of the National Academy of Science of the USA\u00a0103(31) (August 2006)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04, 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/BF00375614","volume":"132","author":"M. Feinberg","year":"1995","unstructured":"Feinberg, M.: The Existence and Uniqueness of Steady States for a Classe of Chemical Reaction Networks. Arch. Rational Mech. Anal.\u00a0132, 311\u2013370 (1995)","journal-title":"Arch. Rational Mech. Anal."},{"issue":"6","key":"7_CR15","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1016\/j.jsc.2005.07.002","volume":"40","author":"K. Gatermann","year":"2005","unstructured":"Gatermann, K., Eiswirth, M., Sensse, A.: Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems. Journal of Symbolic Computation\u00a040(6), 1361\u20131382 (2005)","journal-title":"Journal of Symbolic Computation"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Gillespie, C.S.: Moment-closure approximations for mass-action models. Systems Biology, IET\u00a03(1) (2009)","DOI":"10.1049\/iet-syb:20070031"},{"issue":"25","key":"7_CR17","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact Stochastic Simulation of Coupled Chemical Reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"7_CR18","volume-title":"Lois g\u00e9n\u00e9rales de l\u2019Action des Diastases","author":"V. Henri","year":"1903","unstructured":"Henri, V.: Lois g\u00e9n\u00e9rales de l\u2019Action des Diastases. Hermann, Paris (1903)"},{"key":"7_CR19","first-page":"451","volume":"6","author":"M. K\u0153rn","year":"2005","unstructured":"K\u0153rn, M., Elston, T.C., Blake, W.J., Collins, J.J.: Stochasticity in gene expression: from theories to phenotypes. Nature\u00a06, 451\u2013464 (2005)","journal-title":"Nature"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Kokotovic, P., Khalil, H.K., O\u2019Reilly, J.: Singular Perturbation Methods in Control: Analysis and Design. Classics in Applied Mathematics, vol.\u00a025. SIAM, Philadelphia (1999)","DOI":"10.1137\/1.9781611971118"},{"key":"7_CR21","unstructured":"Lemaire, F., Maza, M.M., Xie, Y.: The RegularChains library in MAPLE 10. In: Kotsireas, I.S. (ed.) The MAPLE Conference, pp. 355\u2013368 (2005)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Lemaire, F., \u00dcrg\u00fcpl\u00fc, A.: A method for semi-rectifying algebraic and differential systems using scaling type Lie point symmetries with linear algebra. In: Proceedings of ISSAC 2010, M\u00fcnchen, Germany, pp. 85\u201392 (August 2010)","DOI":"10.1145\/1837934.1837956"},{"key":"7_CR23","unstructured":"Lemaire, F., \u00dcrg\u00fcpl\u00fc, A.: Mabsys: Modeling and analysis of biological systems. In: Horimoto, K., Nakatsui, M., Popov, N. (eds.) Proceedings of Algebraic and Numeric Biology 2010, Castle of Hagenberg, Austria (August 2010)"},{"key":"7_CR24","unstructured":"Lemaire, F., \u00dcrg\u00fcpl\u00fc, A.: The MABSys MAPLE package (2010), http:\/\/www.lifl.fr\/~lemaire\/MABSys"},{"key":"7_CR25","unstructured":"Michaelis, L., Menten, M.: Die kinetik der invertinwirkung. Biochemische Zeitschrift 49, 333\u2013369 (1973), Partial translation in english on http:\/\/web.lemoyne.edu\/~giunta\/menten.html"},{"key":"7_CR26","unstructured":"Moroz, G., Rouillier, F.: DV: Un logiciel de classification des solutions r\u00e9elles d\u2019un syst\u00e8me param\u00e9tr\u00e9 (2009), http:\/\/www-spiral.lip6.fr\/~moroz\/fr\/software.html"},{"key":"7_CR27","series-title":"Interdisciplinary Applied Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/b98868","volume-title":"Mathematical Biology I. An Introduction","author":"J.D. Murray","year":"2002","unstructured":"Murray, J.D.: Mathematical Biology I. An Introduction, 3rd edn. Interdisciplinary Applied Mathematics, vol.\u00a017. Springer, Heidelberg (2002)","edition":"3"},{"key":"7_CR28","unstructured":"Niu, W.: Qualitative Analysis of Biological Systems Using Algebraic Methods. PhD thesis, Universit\u00e9 Paris VI, Paris (June 2011)"},{"key":"7_CR29","unstructured":"N\u00f6then, A.L.: Quasistationarit\u00e4t und Fast-Invariante Mengen Gew\u00f6nlicher Differentialgleichungen. PhD thesis, Rheinisch-Westf\u00e4lischen Technischen Hochschule (2008)"},{"key":"7_CR30","unstructured":"Othmer, H.G.: Analysis of Complex Reaction Networks in Signal Transduction, Gene Control and Metabolism (2006), http:\/\/www.ricam.oeaw.ac.at\/publications\/download\/summerschool\/LectureNotes_Othmer.pdf"},{"key":"7_CR31","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/j.plrev.2005.03.003","volume":"2","author":"J. Paulsson","year":"2005","unstructured":"Paulsson, J.: Models of stochastic gene expression. Physics of Life Reviews\u00a02, 157\u2013175 (2005)","journal-title":"Physics of Life Reviews"},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"149","DOI":"10.7551\/mitpress\/9780262195485.003.0008","volume-title":"System Modeling in Cellular Biology: From Concepts to Nuts and Bolts","author":"J. Paulsson","year":"2006","unstructured":"Paulsson, J., Elf, J.: Stochastic Modeling of Intracellular Kinetics. In: Szallasi, Z., Stelling, J., Periwal, V. (eds.) System Modeling in Cellular Biology: From Concepts to Nuts and Bolts, pp. 149\u2013175. The MIT Press, Cambridge (2006)"},{"key":"7_CR33","volume-title":"Mathematical models of chemical reactions: theory and applications of deterministic and stochastic models","author":"P. \u00c9rdi","year":"1989","unstructured":"\u00c9rdi, P., T\u00f3th, J.: Mathematical models of chemical reactions: theory and applications of deterministic and stochastic models. Princeton University Press, Princeton (1989)"},{"key":"7_CR34","unstructured":"Petitot, M.: The MAGNUS MAPLE software (2010), http:\/\/www.lifl.fr\/~petitot\/recherche\/exposes\/ANB2010"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Sedoglavic, A.: Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) AB 2007. LNCS, vol.\u00a04545, pp. 277\u2013291. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-73433-8_20"},{"key":"7_CR36","unstructured":"Sedoglavic, A., \u00dcrg\u00fcpl\u00fc, A.: Expanded Lie Point Symmetry, MAPLE package (2007), http:\/\/www.lifl.fr\/~sedoglav\/Software"},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"Singh, A., Hespanha, J.P.: Lognormal Moment Closures for Biochemical Reactions. In: Proceedings of the 45th IEEE Conference on Decision and Control, pp. 2063\u20132068 (2006)","DOI":"10.1109\/CDC.2006.376994"},{"key":"7_CR38","unstructured":"\u00dcrg\u00fcpl\u00fc, A.: Contribution to Symbolic Effective Qualitative Analysis of Dynamical Systems; Application to Biochemical Reaction Networks. PhD thesis, University Lille I, Lille, France (2010)"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Van Breusegem, V., Bastin, G.: Reduced order dynamical modelling of reaction systems: a singular perturbation approach. In: Proceedings of the 30th IEEE Conference on Decision and Control, Brighton, England, pp. 1049\u20131054 (December 1991)","DOI":"10.1109\/CDC.1991.261484"},{"key":"7_CR40","first-page":"50","volume-title":"Proceedings of Algebraic and Numeric Biology 2010","author":"S. Vidal","year":"2010","unstructured":"Vidal, S., Petitot, M., Boulier, F., Lemaire, F., Kuttler, C.: Models of Stochastic Gene Expression and Weyl Algebra. In: Horimoto, K., Nakatsui, M., Popov, N. (eds.) Proceedings of Algebraic and Numeric Biology 2010, Castle of Hagenberg, Austria, pp. 50\u201367 (August 2010)"},{"key":"7_CR41","doi-asserted-by":"crossref","unstructured":"Vilar, J.M.G., Kueh, H.Y., Barkai, N., Leibler, S.: Mechanisms of noise-resistance in genetic oscillators. Proceedings of the National Academy of Science of the USA\u00a099(9), 5988\u20135992 (2002)","DOI":"10.1073\/pnas.092133899"},{"key":"7_CR42","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/1358190.1358197","volume":"41","author":"B. Xia","year":"2007","unstructured":"Xia, B.: DISCOVERER: A tool for solving semi-algebraic systems. ACM Commun. Comput. Algebra\u00a041, 102\u2013103 (2007)","journal-title":"ACM Commun. Comput. Algebra"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23568-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T12:34:09Z","timestamp":1741523649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23568-9_7"}},"subtitle":["(Invited Talk)"],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642235672","9783642235689"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23568-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}