Polynomial differential equations compute all real computable functions on computable compact intervals

Polynomial differential equations compute all real computable functions on computable compact intervals (2007)

Cached

Download Links

by Olivier Bournez , Manuel L. Campagnolo , Daniel S. Graça , Emmanuel Hainry

Citations:

BibTeX

@MISC{Bournez07polynomialdifferential,
    author = {Olivier Bournez and Manuel L. Campagnolo and Daniel S. Graça and Emmanuel Hainry},
    title = {Polynomial differential equations compute all real computable functions on computable compact intervals},
    year = {2007}
}

Bookmark

OpenURL

Abstract

Citations

914	On computable numbers, with an application to the ”Entscheidungsproblem - Turing - 1936
185	Ordinary Differential Equations - Arnol’d - 1992
112	Neural Networks and Analog Computation: Beyond the Turing limit - Siegelmann - 1999
112	Computable Analysis: an Introduction - Weihrauch - 2000
68	Recursion Theory on the Reals and Continuous-time Computation - Moore - 1995
55	Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers - Pour-El - 1974
43	Extension de la notion de fonction récursive aux fonctions d’une ou plusiers variables - Lacombe - 1955
38	Mathematical theory of the differential analyzer - Shannon - 1941
26	Rubel,A differentially algebraic replacement theorem, and analog computation - Lipshitz, A - 1987
25	Analog computers and recursive functions over the reals - Graça, Costa
20	A survey of transcendentally transcendental functions - Rubel - 1989
18	The differential analyzer: A new machine for solving differential equations - Bush - 1931
16	Real recursive functions and their hierarchy - Mycka, Costa
14	Recursive analysis characterized as a class of real recursive functions - Bournez, Hainry
14	Robust simulations of Turing machines with analytic maps and flows - Graça, Campagnolo, et al. - 2005
13	Some recent developments on Shannon’s general purpose analog computer - Graça
9	Computability with polynomial differential equations - Graça, Campagnolo, et al. - 2007
2	Maximal intervals of computable IVPs are not necessarily computable, trans - Graça, Zhong, et al.