{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T14:49:04Z","timestamp":1772290144113,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319240206","type":"print"},{"value":"9783319240213","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24021-3_31","type":"book-chapter","created":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T03:58:36Z","timestamp":1441252716000},"page":"424-439","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Analysis of Reaction Network Systems Using Tropical Geometry"],"prefix":"10.1007","author":[{"given":"Satya Swarup","family":"Samal","sequence":"first","affiliation":[]},{"given":"Dima","family":"Grigoriev","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Fr\u00f6hlich","sequence":"additional","affiliation":[]},{"given":"Ovidiu","family":"Radulescu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,12]]},"reference":[{"key":"31_CR1","unstructured":"Bruno, A.D.: Power Geometry in Algebraic and Differential Equations. Elsevier, San Diego (2000)"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, heidelberg (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"31_CR3","unstructured":"Emiris, I.Z., Canny, J.F.: Efficient incremental algorithms for the sparse resultant and the mixed volume. J. Symb. Comput. 20(2), 117\u2013149 (1995)"},{"key":"31_CR4","unstructured":"Feinberg, M.: Chemical reaction network structure and the stability of complex isothermal reactorsi. the deficiency zero and deficiency one theorems. Chemical Engng. Science 42(10), 2229\u20132268 (1987)"},{"key":"31_CR5","unstructured":"Gatermann, K., Huber, B.: A family of sparse polynomial systems arising in chemical reaction systems. J. Symb. Comput. 33(3), 275\u2013305 (2002)"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Gawrilow, E., Joswig, M.: Polymake: a framework for analyzing convex polytopes. In: Kalai, G., et\u00a0al. (eds.) Polytopes Combinatorics and Computation, DMV Seminar, vol. 29, pp. 43\u201373. Springer Basel AG (2000)","DOI":"10.1007\/978-3-0348-8438-9_2"},{"key":"31_CR7","unstructured":"Grigor\u2019ev, D.Y., Singer, M.F.: Solving ordinary differential equations in terms of series with real exponents. Trans. Amer. Math. Soc. 327(1), 329\u2013351 (1991)"},{"key":"31_CR8","unstructured":"Haller, G., Sapsis, T.: Localized instability and attraction along invariant manifolds. SIAM J. Appl. Dyn. Syst. 9(2), 611\u2013633 (2010)"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Henk, M., Richter-Gebert, J., Ziegler, G.M.: 16 basic properties of convex polytopes. Handbook of Discrete and Computational Geometry, pp. 243\u2013270. CRC Press, Boca Raton (2004)","DOI":"10.1201\/9781420035315.pt2"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Jensen, A.: In: Stillman, M., Verschelde, J., Takayama, N. (eds.) Software for Algebraic Geometry. The IMA Volumes in Mathematics and its Applications, vol. 148 (2008)","DOI":"10.1007\/978-0-387-78133-4"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Le Novere, N., Bornstein, B., Broicher, A., Courtot, M., Donizelli, M., Dharuri, H., Li, L., Sauro, H., Schilstra, M., Shapiro, B., Snoep, J.L., Hucka, M.: BioModels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems 34(suppl 1), D689\u2013D691 (2006)","DOI":"10.1093\/nar\/gkj092"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Maclagan, D., Sturmfels, B.: Introduction to Tropical Geometry. Graduate Studies in Mathematics, vol. 161. Amer. Math. Soc., RI (2015)","DOI":"10.1090\/gsm\/161"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Noel, V., Grigoriev, D., Vakulenko, S., Radulescu, O.: Tropical geometries and dynamics of biochemical networks application to hybrid cell cycle models. In: Feret, J., Levchenko, A. (eds.) Proc. 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011). Electronic Notes in Theoretical Computer Science, vol. 284, pp. 75\u201391. Elsevier (2012)","DOI":"10.1016\/j.entcs.2012.05.016"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Noel, V., Grigoriev, D., Vakulenko, S., Radulescu, O.: Topical and idempotent mathematics and applications. In: Tropicalization and tropical equilibration of chemical reactions, vol. 616. Amer. Math. Soc. (2014)","DOI":"10.1090\/conm\/616\/12316"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Radulescu, O., Vakulenko, S., Grigoriev, D.: Model reduction of biochemical reactions networks by tropical analysis methods. Mathematical Model of Natural Phenomena, in press (2015)","DOI":"10.1051\/mmnp\/201510310"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Samal, S.S., Errami, H., Weber, A.: PoCaB: a software infrastructure to explore algebraic methods for bio-chemical reaction networks. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2012. LNCS, vol. 7442, pp. 294\u2013307. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-32973-9_25"},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"Soliman, S., Fages, F., Radulescu, O.: A constraint solving approach to model reduction by tropical equilibration. Algorithms for Molecular Biology 9(1), 24 (2014)","DOI":"10.1186\/PREACCEPT-1468617733126024"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Sturmfels, B.: Solving systems of polynomial equations. CBMS Regional Conference Series in Math., no. 97, pp. 7\u20138. Amer. Math. Soc., Providence, RI (2002)","DOI":"10.1090\/cbms\/097"},{"key":"31_CR19","unstructured":"Thomas, R.: Boolean formalization of genetic control circuits. J. Theoret. Biology 42(3), 563\u2013585 (1973)"},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"Tyson, J.J.: Modeling the cell division cycle: cdc2 and cyclin interactions. Proc. National Academy of Sciences 88(16), 7328\u20137332 (1991)","DOI":"10.1073\/pnas.88.16.7328"}],"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-319-24021-3_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T16:58:38Z","timestamp":1559235518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24021-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319240206","9783319240213"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24021-3_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}