{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T09:03:53Z","timestamp":1750323833362,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,8,27]],"date-time":"2018-08-27T00:00:00Z","timestamp":1535328000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,8,27]],"date-time":"2018-08-27T00:00:00Z","timestamp":1535328000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1545028","1247051"],"award-info":[{"award-number":["1545028","1247051"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s11047-018-9706-x","type":"journal-article","created":{"date-parts":[[2018,8,27]],"date-time":"2018-08-27T16:24:17Z","timestamp":1535387057000},"page":"63-73","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Real-time computability of real numbers by chemical reaction networks"],"prefix":"10.1007","volume":"18","author":[{"given":"Xiang","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Titus H.","family":"Klinge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James I.","family":"Lathrop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyuan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack H.","family":"Lutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,27]]},"reference":[{"key":"9706_CR1","doi-asserted-by":"crossref","unstructured":"Bournez O, Fraigniaud, P, Koegler X (2012) Computing with large populations using interactions. In: Proceedings of the 37th international conference on mathematical foundations of computer science. Springer, pp 234\u2013246","DOI":"10.1007\/978-3-642-32589-2_23"},{"key":"9706_CR2","unstructured":"Bournez O, Gra\u00e7a DS, Pouly A (2017) Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length: the general purpose analog computer and computable analysis are two efficiently equivalent models of computations. J ACM 64"},{"issue":"2","key":"9706_CR3","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/321941.321944","volume":"23","author":"RP Brent","year":"1976","unstructured":"Brent RP (1976) Fast multiple-precision evaluation of elementary functions. J ACM 23(2):242\u2013251","journal-title":"J ACM"},{"issue":"4","key":"9706_CR4","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0016-0032(31)90616-9","volume":"212","author":"V Bush","year":"1931","unstructured":"Bush V (1931) The differential analyzer. A new machine for solving differential equations. J Frankl Inst 212(4):447\u2013488","journal-title":"J Frankl Inst"},{"issue":"10","key":"9706_CR5","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"Y-J Chen","year":"2013","unstructured":"Chen Y-J, Dalchau N, Srinivas N, Phillips A, Cardelli L, Soloveichik D, Seelig G (2013) Programmable chemical controllers made from DNA. Nat Nanotechnol 8(10):755\u2013762","journal-title":"Nat Nanotechnol"},{"key":"9706_CR6","doi-asserted-by":"crossref","unstructured":"Cook M, Soloveichik D, Winfree E, Bruck J (2009) Programmability of chemical reaction networks. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Natural computing series. Springer, Berlin, pp 543\u2013584","DOI":"10.1007\/978-3-540-88869-7_27"},{"key":"9706_CR7","doi-asserted-by":"crossref","unstructured":"Fages F, Le Guludec G, Bournez O, Pouly A (2017) Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog\u2013digital programs. In: Proceedings of the 15th international conference on computational methods in systems biology. Springer, pp 108\u2013127","DOI":"10.1007\/978-3-319-67471-1_7"},{"issue":"1","key":"9706_CR8","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/S0022-0000(70)80012-5","volume":"4","author":"PC Fischer","year":"1970","unstructured":"Fischer PC, Meyer AR, Rosenberg AL (1970) Time-restricted sequence generation. J Comput Syst Sci 4(1):50\u201373","journal-title":"J Comput Syst Sci"},{"volume-title":"The Princeton companion to mathematics","year":"2008","key":"9706_CR9","unstructured":"Gowers T (ed) (2008) The Princeton companion to mathematics. Princeton University Press, Princeton"},{"issue":"5","key":"9706_CR10","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 DS, Costa JF (2003) Analog computers and recursive functions over the reals. J Complex 19(5):644\u2013664","journal-title":"J Complex"},{"issue":"2","key":"9706_CR11","first-page":"67","volume":"626","author":"DS Gra\u00e7a","year":"2016","unstructured":"Gra\u00e7a DS, Pouly A (2016) Computational complexity of solving polynomial differential equations over unbounded domains. Theor Comput Sci 626(2):67\u201382","journal-title":"Theor Comput Sci"},{"key":"9706_CR12","first-page":"4","volume":"50","author":"DS Gra\u00e7a","year":"2004","unstructured":"Gra\u00e7a DS (2004) Some recent developments on Shannon\u2019s general purpose analog computer. Math Log Q 50:4\u20135","journal-title":"Math Log Q"},{"key":"9706_CR13","doi-asserted-by":"crossref","unstructured":"Gurevich Y, Shelah S (1989) Nearly linear time. In: International symposium on logical foundations of computer science. Springer, pp 108\u2013118","DOI":"10.1007\/3-540-51237-3_10"},{"key":"9706_CR14","first-page":"363","volume":"30","author":"V H\u00e1rs","year":"1981","unstructured":"H\u00e1rs V, T\u00f3th J (1981) On the inverse problem of reaction kinetics. Qual Theory Differ Equ 30:363\u2013379","journal-title":"Qual Theory Differ Equ"},{"key":"9706_CR15","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1090\/S0002-9947-1965-0170805-7","volume":"117","author":"J Hartmanis","year":"1965","unstructured":"Hartmanis J, Stearns RE (1965) On the computational complexity of algorithms. Trans Am Math Soc 117:285\u2013306","journal-title":"Trans Am Math Soc"},{"key":"9706_CR16","volume-title":"Differential equations, dynamical systems, and linear algebra","author":"MW Hirsch","year":"1974","unstructured":"Hirsch MW, Smale S (1974) Differential equations, dynamical systems, and linear algebra. Academic Press, Cambridge"},{"key":"9706_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6802-1","volume-title":"Complexity theory of real functions","author":"K-I Ko","year":"1991","unstructured":"Ko K-I (1991) Complexity theory of real functions. Birkh\u00e4user, Basel"},{"key":"9706_CR18","unstructured":"Koegler X (2012) Population protocols, games, and large populations. Ph.D. thesis, Universit\u00e9 Paris Diderot - Paris 7"},{"issue":"2","key":"9706_CR19","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1090\/S0002-9939-1987-0870803-1","volume":"99","author":"L Lipshitz","year":"1987","unstructured":"Lipshitz L, Rubel LA (1987) A differentially algebraic replacement theorem, and analog computability. Proc Am Math Soc 99(2):367\u2013372","journal-title":"Proc Am Math Soc"},{"key":"9706_CR20","unstructured":"Lipton RJ (2017) Why the Hartmanis\u2013Stearns conjecture is still open, 2012. Blog post. Retrieved 3 Feb from \n                    https:\/\/rjlipton.wordpress.com\/2012\/06\/15\/why-the-hartmanis-stearns-conjecture-is-still-open\/"},{"key":"9706_CR21","unstructured":"Lyapunov AM (1892) The general problem of the stability of motion, 1992. English translation by A.T. Fuller of Lyapunov\u2019s Ph.D. thesis at Moscow University"},{"issue":"6","key":"9706_CR22","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1103\/PhysRevLett.78.1190","volume":"78","author":"MO Magnasco","year":"1997","unstructured":"Magnasco MO (1997) Chemical kinetics is Turing universal. Phys Rev Lett 78(6):1190\u20131193","journal-title":"Phys Rev Lett"},{"key":"9706_CR23","volume-title":"Model theory: an introduction. Graduate texts in mathematics","author":"D Marker","year":"2002","unstructured":"Marker D (2002) Model theory: an introduction. Graduate texts in mathematics. Springer, New York"},{"key":"9706_CR24","unstructured":"Pouly A (2015) Continuous models of computation: from computability to complexity. Ph.D. thesis, Universit\u00e9 de Caen Basse-Normandie"},{"key":"9706_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9947-1974-0347575-8","volume":"199","author":"MB Pour-El","year":"1974","unstructured":"Pour-El MB, Richards JI (1974) Abstract computability and its relations to the general purpose analog computer. Trans Am Math Soc 199:1\u201328","journal-title":"Trans Am Math Soc"},{"issue":"1\u20134","key":"9706_CR26","first-page":"337","volume":"20","author":"CE Shannon","year":"1941","unstructured":"Shannon CE (1941) Mathematical theory of the differential analyzer. Stud Appl Math 20(1\u20134):337\u2013354","journal-title":"Stud Appl Math"},{"key":"9706_CR27","unstructured":"Soloveichik D (2016) Personal communication"},{"issue":"12","key":"9706_CR28","doi-asserted-by":"publisher","first-page":"5393","DOI":"10.1073\/pnas.0909380107","volume":"107","author":"D Soloveichik","year":"2010","unstructured":"Soloveichik D, Seelig G, Winfree E (2010) DNA as a universal substrate for chemical kinetics. Proc Natl Acad Sci 107(12):5393\u20135398","journal-title":"Proc Natl Acad Sci"},{"key":"9706_CR29","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/140","volume-title":"Ordinary differential equations and dynamical systems","author":"G Teschl","year":"2012","unstructured":"Teschl G (2012) Ordinary differential equations and dynamical systems. American Mathematical Society, Providence"},{"issue":"1","key":"9706_CR30","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"42","author":"AM Turing","year":"1936","unstructured":"Turing AM (1936) On computable numbers, with an application to the Entscheidungsproblem. Proc Lond Math Soc 42(1):230\u2013265","journal-title":"Proc Lond Math Soc"},{"issue":"2","key":"9706_CR31","first-page":"544","volume":"43","author":"AM Turing","year":"1937","unstructured":"Turing AM (1937) On computable numbers, with an application to the Entscheidungsproblem. A correction. Proc Lond Math Soc 43(2):544\u2013546","journal-title":"Proc Lond Math Soc"},{"key":"9706_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable analysis: an introduction","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch K (2000) Computable analysis: an introduction. Springer, Berlin"},{"key":"9706_CR33","doi-asserted-by":"crossref","unstructured":"Weyl H (2009) Philosophie der Mathematik und Naturwissenschaft: Nach der 2. Walter de Gruyter GmbH & Co KG, 1927. Philosophy of Mathematics and Natural Science, Princeton University Press; with a new introduction by Frank Wilczek","DOI":"10.1524\/9783486849905"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-018-9706-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-018-9706-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-018-9706-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,14]],"date-time":"2020-05-14T00:22:50Z","timestamp":1589415770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-018-9706-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,27]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["9706"],"URL":"https:\/\/doi.org\/10.1007\/s11047-018-9706-x","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"type":"print","value":"1567-7818"},{"type":"electronic","value":"1572-9796"}],"subject":[],"published":{"date-parts":[[2018,8,27]]},"assertion":[{"value":"27 August 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}