{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T19:45:50Z","timestamp":1777664750286,"version":"3.51.4"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2024,6]]},"abstract":"<jats:p>\n            Chemical Reaction Networks (CRNs) are a standard formalism used in chemistry and biology to model complex molecular interaction systems. In the perspective of systems biology, they are a central tool to analyze the high-level functions of the cell in terms of their low-level molecular interactions. In the perspective of synthetic biology, they constitute a target programming language to implement in chemistry new functions either\n            <jats:italic>in vitro<\/jats:italic>\n            , in artificial vesicles, or in living cells. In this paper, we describe the CRN synthesis tool part of our CRN modeling and analysis software BIOCHAM (Biochemical Abstract Machine). This compiler transforms any elementary (resp. algebraic) real function into a formal finite CRN to compute it (resp. with absolute functional robustness), through a pipeline of symbolic computation steps, among which quadratization optimization plays a key role to restrict to elementary reactions with at most two reactants and a minimum number of molecular species.\n          <\/jats:p>","DOI":"10.1145\/3712023.3712024","type":"journal-article","created":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T16:56:37Z","timestamp":1736528197000},"page":"15-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry"],"prefix":"10.1145","volume":"58","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[{"name":"EPI Lifeware, Inria Saclay, Palaiseau, France"}]},{"given":"Mathieu","family":"Hemery","sequence":"additional","affiliation":[{"name":"EPI Lifeware, Inria Saclay, Palaiseau, France"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[{"name":"EPI Lifeware, Inria Saclay, Palaiseau, France"}]}],"member":"320","published-online":{"date-parts":[[2025,1,10]]},"reference":[{"key":"e_1_2_1_1_1","series-title":"SIAM Undergraduate Research Online","volume-title":"Quadratization of odes: Monomial vs. non-monomial","author":"Alauddin Foyez","year":"2021","unstructured":"Foyez Alauddin. Quadratization of odes: Monomial vs. non-monomial. SIAM Undergraduate Research Online, 14, January 2021. Sponsor: Gleb Pogudin."},{"key":"e_1_2_1_2_1","series-title":"SIAM Journal on Applied Dynamical Systems, to appear","volume-title":"Exact and optimal quadratization of nonlinear finite-dimensional non-autonomous dynamical systems","author":"Bychkov Andrey","year":"2024","unstructured":"Andrey Bychkov, Opal Issan, Gleb Pogudin, and Boris Kramer. Exact and optimal quadratization of nonlinear finite-dimensional non-autonomous dynamical systems. SIAM Journal on Applied Dynamical Systems, to appear, 2024."},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the IWOCA 2021 - 32nd International Workshop on Combinatorial Algorithms","author":"Bychkov Andrey","year":"2021","unstructured":"Andrey Bychkov and Gleb Pogudin. Optimal monomial quadratization for ode systems. In Proceedings of the IWOCA 2021 - 32nd International Workshop on Combinatorial Algorithms, July 2021."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btl172"},{"issue":"40","key":"e_1_2_1_5_1","first-page":"1","article-title":"Some properties of solutions to polynomial systems of differential equations","volume":"2005","author":"Carothers David C.","year":"2005","unstructured":"David C. Carothers, G. Edgar Parker, James S. Sochacki, and Paul G. Warne. Some properties of solutions to polynomial systems of differential equations. Electronic Journal of Differential Equations, 2005(40):1--17, 2005.","journal-title":"Electronic Journal of Differential Equations"},{"key":"e_1_2_1_6_1","series-title":"Methods in Molecular Biology","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/978-1-62703-450-0_10","volume-title":"Silico Systems Biology","author":"Chelliah Vijayalakshmi","year":"2013","unstructured":"Vijayalakshmi Chelliah, Camille Laibe, and Nicolas Nov\u00e8re. Biomodels database: A repository of mathematical models of biological processes. In Maria Victoria Schneider, editor, In Silico Systems Biology, volume 1021 of Methods in Molecular Biology, pages 189--199. Humana Press, 2013."},{"key":"e_1_2_1_7_1","first-page":"25","article-title":"Deterministic function computation with chemical reaction networks","volume":"7433","author":"Chen Ho-Lin","year":"2012","unstructured":"Ho-Lin Chen, David Doty, and David Soloveichik. Deterministic function computation with chemical reaction networks. Natural computing, 7433:25--42, 2012.","journal-title":"Natural computing"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88869-7_27"},{"key":"e_1_2_1_9_1","volume-title":"Computer-aided biochemical programming of synthetic microreactors as diagnostic devices. Molecular Systems Biology, 14(4)","author":"Courbet Alexis","year":"2018","unstructured":"Alexis Courbet, Patrick Amar, Fran\u00e7ois Fages, Eric Renard, and Franck Molina. Computer-aided biochemical programming of synthetic microreactors as diagnostic devices. Molecular Systems Biology, 14(4), 2018."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1137\/050634177"},{"key":"e_1_2_1_11_1","volume-title":"A platform for rapid prototyping of synthetic gene networks in mammalian cells. Nucleic Acids Research, 42(21)","author":"Duportet X.","year":"2014","unstructured":"X. Duportet, L. Wroblewska, P. Guye, Y. Li, J. Eyquem, J. Rieders, G. Batt, and R. Weiss. A platform for rapid prototyping of synthetic gene networks in mammalian cells. Nucleic Acids Research, 42(21), 2014."},{"key":"e_1_2_1_12_1","volume-title":"Mathematical Models of Chemical Reactions: Theory and Applications of Deterministic and Stochastic Models. Nonlinear science : theory and applications","author":"\u00c9rdi P\u00e9ter","year":"1989","unstructured":"P\u00e9ter \u00c9rdi and J\u00e1nos T\u00f3th. Mathematical Models of Chemical Reactions: Theory and Applications of Deterministic and Stochastic Models. Nonlinear science : theory and applications. Manchester University Press, 1989."},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Fages Guillaume Le Guludec Olivier Bournez and Amaury Pouly. Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. In CMSB'17: Proceedings of the fiveteen international conference on Computational Methods in Systems Biology volume 10545 of LNCS pages 108--127. Springer-Verlag September 2017.","DOI":"10.1007\/978-3-319-67471-1_7"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.04.024"},{"key":"e_1_2_1_15_1","first-page":"1","volume-title":"Chemical Reactor Theory: A Review","author":"Feinberg Martin","year":"1977","unstructured":"Martin Feinberg. Mathematical aspects of mass action kinetics. In L. Lapidus and N. R. Amundson, editors, Chemical Reactor Theory: A Review, chapter 1, pages 1--78. Prentice-Hall, 1977."},{"key":"e_1_2_1_16_1","series-title":"Qualitative Theory of Differential Equations","first-page":"363","volume-title":"Colloquia Mathematica Societatis J\u00e1nos Bolyai","author":"H\u00e1rs V.","year":"1979","unstructured":"V. H\u00e1rs and J. T\u00f3th. On the inverse problem of reaction kinetics. In M. Farkas, editor, Colloquia Mathematica Societatis J\u00e1nos Bolyai, volume 30 of Qualitative Theory of Differential Equations, pages 363--379, 1979."},{"key":"e_1_2_1_17_1","volume-title":"CMSB'22: Proceedings of the twentieth international conference on Computational Methods in Systems Biology","volume":"13447","author":"Hemery Mathieu","year":"2022","unstructured":"Mathieu Hemery and Fran\u00e7ois Fages. Algebraic biochemistry: a framework for analog online computation in cells. In CMSB'22: Proceedings of the twentieth international conference on Computational Methods in Systems Biology, volume 13447 of LNCS. Springer-Verlag, September 2022."},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","first-page":"114432","DOI":"10.1016\/j.tcs.2024.114432","article-title":"On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control","volume":"991","author":"Hemery Mathieu","year":"2024","unstructured":"Mathieu Hemery and Fran\u00e7ois Fages. On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control. Theoretical Computer Science, 991:114432, 2024.","journal-title":"Theoretical Computer Science"},{"key":"e_1_2_1_19_1","volume-title":"CMSB'20: Proceedings of the eighteenth international conference on Computational Methods in Systems Biology, LNCS. Springer-Verlag","author":"Hemery Mathieu","year":"2020","unstructured":"Mathieu Hemery, Fran\u00e7ois Fages, and Sylvain Soliman. On the complexity of quadratization for polynomial differential equations. In CMSB'20: Proceedings of the eighteenth international conference on Computational Methods in Systems Biology, LNCS. Springer-Verlag, September 2020."},{"key":"e_1_2_1_20_1","volume-title":"CMSB'21: Proceedings of the nineteenth international conference on Computational Methods in Systems Biology","volume":"12881","author":"Hemery Mathieu","year":"2021","unstructured":"Mathieu Hemery, Fran\u00e7ois Fages, and Sylvain Soliman. Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs. In CMSB'21: Proceedings of the nineteenth international conference on Computational Methods in Systems Biology, volume 12881 of LNCS. Springer-Verlag, September 2021."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.93.19.10078"},{"issue":"4","key":"e_1_2_1_22_1","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","article-title":"The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models","volume":"19","author":"Michael Hucka","year":"2003","unstructured":"Michael Hucka et al. The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics, 19(4):524--531, 2003.","journal-title":"Bioinformatics"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-syb.2010.0056"},{"key":"e_1_2_1_24_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-642-18305-8_12","volume-title":"Proc. DNA Computing and Molecular Programming","author":"Qian Lulu","year":"2011","unstructured":"Lulu Qian, David Soloveichik, and Erik Winfree. Efficient turing-universal computation with DNA polymers. In Proc. DNA Computing and Molecular Programming, volume 6518 of LNCS, pages 123--140. Springer-Verlag, 2011."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1183372"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3712023.3712024","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3712023.3712024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:10Z","timestamp":1750295890000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3712023.3712024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["10.1145\/3712023.3712024"],"URL":"https:\/\/doi.org\/10.1145\/3712023.3712024","relation":{},"ISSN":["1932-2232","1932-2240"],"issn-type":[{"value":"1932-2232","type":"print"},{"value":"1932-2240","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6]]},"assertion":[{"value":"2025-01-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}