{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T12:41:06Z","timestamp":1769517666099,"version":"3.49.0"},"reference-count":22,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T00:00:00Z","timestamp":1180656000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":2238,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Complexity"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1016\/j.jco.2006.12.005","type":"journal-article","created":{"date-parts":[[2007,2,8]],"date-time":"2007-02-08T07:07:29Z","timestamp":1170918449000},"page":"317-335","source":"Crossref","is-referenced-by-count":44,"title":["Polynomial differential equations compute all real computable functions on computable compact intervals"],"prefix":"10.1016","volume":"23","author":[{"given":"Olivier","family":"Bournez","sequence":"first","affiliation":[]},{"given":"Manuel L.","family":"Campagnolo","sequence":"additional","affiliation":[]},{"given":"Daniel S.","family":"Gra\u00e7a","sequence":"additional","affiliation":[]},{"given":"Emmanuel","family":"Hainry","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jco.2006.12.005_bib1","series-title":"Ordinary Differential Equations","author":"Arnold","year":"1978"},{"issue":"1","key":"10.1016\/j.jco.2006.12.005_bib2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","article-title":"On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines","volume":"21","author":"Blum","year":"1989","journal-title":"Bull. Am. Math. Soc."},{"issue":"4","key":"10.1016\/j.jco.2006.12.005_bib3","first-page":"409","article-title":"Recursive analysis characterized as a class of real recursive functions","volume":"74","author":"Bournez","year":"2006","journal-title":"Fund. Inform."},{"key":"10.1016\/j.jco.2006.12.005_bib4","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0016-0032(31)90616-9","article-title":"The differential analyzer, A new machine for solving differential equations","volume":"212","author":"Bush","year":"1931","journal-title":"J. Franklin Inst."},{"issue":"4\u20135","key":"10.1016\/j.jco.2006.12.005_bib5","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1002\/malq.200310113","article-title":"Some recent developments on Shannon's general purpose analog computer","volume":"50","author":"Gra\u00e7a","year":"2004","journal-title":"Math. Log. Quart."},{"key":"10.1016\/j.jco.2006.12.005_bib6","doi-asserted-by":"crossref","unstructured":"D.S. Gra\u00e7a, M.L. Campagnolo, J. Buescu, Robust simulations of Turing machines with analytic maps and flows, in: S.B. Cooper, B. L\u00f6we, L. Torenvliet (Eds.), CiE 2005: New Computational Paradigms, Lecture Notes on Computer Science, vol. 3526, Springer, Berlin, 2005, pp. 169\u2013179.","DOI":"10.1007\/11494645_21"},{"key":"10.1016\/j.jco.2006.12.005_bib7","doi-asserted-by":"crossref","unstructured":"D.S. Gra\u00e7a, M.L. Campagnolo, J. Buescu, Computability with polynomial differential equations, Adv. Appl. Math., to appear.","DOI":"10.1016\/j.aam.2007.02.003"},{"issue":"5","key":"10.1016\/j.jco.2006.12.005_bib8","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1016\/S0885-064X(03)00034-7","article-title":"Analog computers and recursive functions over the reals","volume":"19","author":"Gra\u00e7a","year":"2003","journal-title":"J. Complexity"},{"key":"10.1016\/j.jco.2006.12.005_bib9","unstructured":"D. Gra\u00e7a, N. Zhong, J. Buescu, Maximal intervals of computable IVPs are not necessarily computable, Trans. Am. Math. Soc., to appear."},{"key":"10.1016\/j.jco.2006.12.005_bib10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-44-1-61-71","article-title":"On the definitions of computable real continuous functions","volume":"44","author":"Grzegorczyk","year":"1957","journal-title":"Fund. Math."},{"key":"10.1016\/j.jco.2006.12.005_bib11","series-title":"Computational Complexity of Real Functions","author":"Ko","year":"1991"},{"key":"10.1016\/j.jco.2006.12.005_bib12","first-page":"151","article-title":"Extension de la notion de fonction r\u00e9cursive aux fonctions d\u2019une ou plusieurs variables r\u00e9elles III","volume":"241","author":"Lacombe","year":"1955","journal-title":"C. R. Acad. Sci. Paris"},{"issue":"2","key":"10.1016\/j.jco.2006.12.005_bib13","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1090\/S0002-9939-1987-0870803-1","article-title":"A differentially algebraic replacement theorem, and analog computability","volume":"99","author":"Lipshitz","year":"1987","journal-title":"Proc. Am. Math. Soc."},{"key":"10.1016\/j.jco.2006.12.005_bib14","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0304-3975(95)00248-0","article-title":"Recursion theory on the reals and continuous-time computation","volume":"162","author":"Moore","year":"1996","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"10.1016\/j.jco.2006.12.005_bib15","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1016\/j.jco.2004.06.001","article-title":"Real recursive functions and their hierarchy","volume":"20","author":"Mycka","year":"2004","journal-title":"J. Complexity"},{"key":"10.1016\/j.jco.2006.12.005_bib16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1974-0347575-8","article-title":"Abstract computability and its relations to the general purpose analog computer","volume":"199","author":"Pour-El","year":"1974","journal-title":"Trans. Am. Math. Soc."},{"key":"10.1016\/j.jco.2006.12.005_bib17","series-title":"Computability in Analysis and Physics","author":"Pour-El","year":"1989"},{"issue":"9","key":"10.1016\/j.jco.2006.12.005_bib18","doi-asserted-by":"crossref","first-page":"777","DOI":"10.2307\/2324840","article-title":"A survey of transcendentally transcendental functions","volume":"96","author":"Rubel","year":"1989","journal-title":"Amer. Math. Monthly"},{"key":"10.1016\/j.jco.2006.12.005_bib19","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1002\/sapm1941201337","article-title":"Mathematical theory of the differential analyzer","volume":"20","author":"Shannon","year":"1941","journal-title":"J. Math. Phys."},{"key":"10.1016\/j.jco.2006.12.005_bib20","series-title":"Neural Networks and Analog Computation: Beyond the Turing Limit","author":"Siegelmann","year":"1999"},{"issue":"42","key":"10.1016\/j.jco.2006.12.005_bib21","first-page":"230","article-title":"On computable numbers, with an application to the Entscheidungsproblem","volume":"2","author":"Turing","year":"1936","journal-title":"Proc. London Math. Soc."},{"key":"10.1016\/j.jco.2006.12.005_bib22","series-title":"Computable Analysis: An Introduction","author":"Weihrauch","year":"2000"}],"container-title":["Journal of Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0885064X07000246?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0885064X07000246?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T09:05:17Z","timestamp":1556096717000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0885064X07000246"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["S0885064X07000246"],"URL":"https:\/\/doi.org\/10.1016\/j.jco.2006.12.005","relation":{},"ISSN":["0885-064X"],"issn-type":[{"value":"0885-064X","type":"print"}],"subject":[],"published":{"date-parts":[[2007,6]]}}}