O. Bournez, M. L. Campagnolo, D. S. Graça, and E. Hainry, Polynomial differential equations compute all real computable functions on computable compact intervals, Journal of Complexity, vol.23, issue.3, pp.317-335, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00102947

C. David, G. E. Carothers, J. S. Parker, P. G. Sochacki, and . Warne, Some properties of solutions to polynomial systems of differential equations, Electronic Journal of Differential Equations, issue.40, pp.1-17, 2005.

V. Chelliah, C. Laibe, and N. Novère, Biomodels database: A repository of mathematical models of biological processes, Silico Systems Biology, vol.1021, pp.189-199, 2013.

M. Cook, D. Soloveichik, E. Winfree, and J. Bruck, Programmability of chemical reaction networks, Algorithmic Bioprocesses, pp.543-584, 2009.

F. Fages, G. L. Guludec, O. Bournez, and A. Pouly, Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs, CMSB'17: Proceedings of the fiveteen international conference on Computational Methods in Systems Biology, vol.10545, pp.108-127, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01519828

F. Fages and S. Soliman, Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, issue.1, pp.52-70, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01431355

M. R. Garey and D. S. Johnson, Computers and intractability: a guide to the theory of NP-completeness, 1979.

D. S. Graça and J. F. Costa, Analog computers and recursive functions over the reals, Journal of Complexity, vol.19, issue.5, pp.644-664, 2003.

C. , Y. Huang, and J. E. Ferrell, Ultrasensitivity in the mitogen-activated protein kinase cascade, vol.93, pp.10078-10083, 1996.

C. H. Papadimitriou and M. Yannakakis, A note on succinct representations of graphs, Information and Control, vol.71, issue.3, pp.181-185, 1986.

L. A. Segel, Modeling dynamic phenomena in molecular and cellular biology, 1984.