{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T06:12:29Z","timestamp":1784527949672,"version":"3.55.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030856328","type":"print"},{"value":"9783030856335","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-85633-5_5","type":"book-chapter","created":{"date-parts":[[2021,9,12]],"date-time":"2021-09-12T23:04:33Z","timestamp":1631487873000},"page":"74-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs"],"prefix":"10.1007","author":[{"given":"Mathieu","family":"Hemery","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,9,13]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Baudier, A., Fages, F., Soliman, S.: Graphical requirements for multistationarity in reaction networks and their verification in biomodels. J. Theor. Biol. 459, 79\u201389 (2018)","DOI":"10.1016\/j.jtbi.2018.09.024"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bournez, O., Campagnolo, M.L., Gra\u00e7a, D.S., Hainry, E.: Polynomial differential equations compute all real computable functions on computable compact intervals. J. Complexity 23(3), 317\u2013335 (2007)","DOI":"10.1016\/j.jco.2006.12.005"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Bychkov, A., Pogudin, G.: Optimal monomial quadratization for ode systems. In: Proceedings of the IWOCA 2021\u201332nd International Workshop on Combinatorial Algorithms, July 2021","DOI":"10.1007\/978-3-030-79987-8_9"},{"key":"5_CR4","doi-asserted-by":"publisher","unstructured":"Cardelli, L.: Morphisms of reaction networks that couple structure to function. BMC Syst. Biol. 8(84) (2014). https:\/\/doi.org\/10.1186\/1752-0509-8-84","DOI":"10.1186\/1752-0509-8-84"},{"issue":"40","key":"5_CR5","first-page":"1","volume":"2005","author":"DC Carothers","year":"2005","unstructured":"Carothers, D.C., Edgar Parker, G., Sochacki, J.S., Warne, P.G.: Some properties of solutions to polynomial systems of differential equations. Electron. J. Differ. Equ. 2005(40), 1\u201317 (2005)","journal-title":"Electron. J. Differ. Equ."},{"key":"5_CR6","first-page":"25","volume":"7433","author":"H-L Chen","year":"2012","unstructured":"Chen, H.-L., Doty, D., Soloveichik, D.: Deterministic function computation with chemical reaction networks. Natural Comput. 7433, 25\u201342 (2012)","journal-title":"Natural Comput."},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Cook, M., Soloveichik, D., Winfree, E., Bruck, J.: Programmability of chemical reaction networks. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E (eds.) Algorithmic Bioprocesses, pp. 543\u2013584. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-88869-7_27","DOI":"10.1007\/978-3-540-88869-7_27"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Courbet, A., Amar, P., Fages, F., Renard, E., Molina, F.: Computer-aided biochemical programming of synthetic microreactors as diagnostic devices. Molecular Syst. Biol. 14(4), e7845 (2018)","DOI":"10.15252\/msb.20177845"},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1137\/050634177","volume":"66","author":"G Craciun","year":"2006","unstructured":"Craciun, G., Feinberg, M.: Multiple equilibria in complex chemical reaction networks: II. The species-reaction graph. SIAM J. Appl. Math. 66(4), 1321\u20131338 (2006)","journal-title":"SIAM J. Appl. Math."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Daniel, R., Rubens, J.R., Sarpeshkar, R., Lu, T.K.: Synthetic analog computation in living cells. Nature 497(7451), 619\u2013623, 05 (2013)","DOI":"10.1038\/nature12148"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-67471-1_7","volume-title":"Computational Methods in Systems Biology","author":"F Fages","year":"2017","unstructured":"Fages, F., Le Guludec, G., Bournez, O., Pouly, A.: Strong turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs. In: Feret, J., Koeppl, H. (eds.) CMSB 2017. LNCS, vol. 10545, pp. 108\u2013127. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67471-1_7"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Fages, F., Gay, S., Soliman, S.: Inferring reaction systems from ordinary differential equations. Theoretical Comput. Sci. 599, 64\u201378 (2015)","DOI":"10.1016\/j.tcs.2014.07.032"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theoretical Comput. Sci. 403(1), 52\u201370 (2008)","journal-title":"Theoretical Comput. Sci."},{"key":"5_CR14","unstructured":"Feinberg, M.: Mathematical aspects of mass action kinetics. In: Lapidus, L., Amundson, N.R. (eds.) Chemical Reactor Theory: A Review, chapter 1, pp. 1\u201378. Prentice-Hall (1977)"},{"issue":"18","key":"5_CR15","doi-asserted-by":"publisher","first-page":"i575","DOI":"10.1093\/bioinformatics\/btq388","volume":"26","author":"S Gay","year":"2010","unstructured":"Gay, S., Soliman, S., Fages, F.: A graphical method for reducing and relating models in systems biology. Bioinformatics 26(18), i575\u2013i581 (2010). special issue ECCB\u201910","journal-title":"Bioinformatics"},{"issue":"5","key":"5_CR16","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1016\/S0885-064X(03)00034-7","volume":"19","author":"DS Gra\u00e7a","year":"2003","unstructured":"Gra\u00e7a, D.S., Costa, J.F.: Analog computers and recursive functions over the reals. J. Complexity 19(5), 644\u2013664 (2003)","journal-title":"J. Complexity"},{"issue":"9","key":"5_CR17","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1109\/TCAD.2011.2142184","volume":"30","author":"G Chenjie","year":"2011","unstructured":"Chenjie, G.: QLMOR: a projection-based nonlinear model order reduction approach using quadratic-linear representation of nonlinear systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(9), 1307\u20131320 (2011)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"5_CR18","unstructured":"H\u00e1rs, V., T\u00f3th, J.: On the inverse problem of reaction kinetics. In: Farkas, M. (ed.) Colloquia Mathematica Societatis J\u00e1nos Bolyai, volume 30 of Qualitative Theory of Differential Equations, pp. 363\u2013379 (1979)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-030-60327-4_7","volume-title":"Computational Methods in Systems Biology","author":"M Hemery","year":"2020","unstructured":"Hemery, M., Fages, F., Soliman, S.: On the complexity of quadratization for polynomial differential equations. In: Abate, A., Petrov, T., Wolf, V. (eds.) CMSB 2020. LNCS, vol. 12314, pp. 120\u2013140. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60327-4_7"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Huang, C.-Y., Ferrell, J.E.: Ultrasensitivity in the mitogen-activated protein kinase cascade. PNAS 93(19), 10078\u201310083 (1996)","DOI":"10.1073\/pnas.93.19.10078"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1049\/iet-syb.2010.0056","volume":"5","author":"K Oishi","year":"2011","unstructured":"Oishi, K., Klavins, E.: Biomolecular implementation of linear I\/O systems. IET Syst. Biol. 5(4), 252\u2013260 (2011)","journal-title":"IET Syst. Biol."},{"key":"5_CR22","unstructured":"Pouly, A.: Continuous models of computation: from computability to complexity. PhD thesis, Ecole Polytechnique, July 2015"},{"key":"5_CR23","unstructured":"Rizik, L., Ram, Y., Danial, R.: Noise tolerance analysis for reliable analog and digital computation in living cells. J. Bioeng. Biomed. Sci. 6, 186 (2016)"},{"key":"5_CR24","unstructured":"Sankaranarayanan, S.: Change-of-bases abstractions for non-linear systems. arXiv preprint arXiv:1204.4347 (2012)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Sauro, H.M., Kim, K.: Synthetic biology: it\u2019s an analog world. Nature 497(7451), 572\u2013573 (2013)","DOI":"10.1038\/nature12246"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Shannon, C.E.: Mathematical theory of the differential analyser. J. Math. Phys. 20, 337\u2013354 (1941)","DOI":"10.1002\/sapm1941201337"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-85633-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,12]],"date-time":"2021-09-12T23:04:47Z","timestamp":1631487887000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-85633-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030856328","9783030856335"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-85633-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"13 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bordeaux","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2021.labri.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}