Some recent developments on Shannon's General Purpose Analog Computer, Math. Log. Quart, vol.50, pp.4-5, 2004. ,
On a theory of computation and complexity over the real numbers: $NP$- completeness, recursive functions and universal machines, Bulletin of the American Mathematical Society, vol.21, issue.1, pp.1-46, 1989. ,
DOI : 10.1090/S0273-0979-1989-15750-9
Recursion theory on the reals and continuous-time computation, Theoretical Computer Science, vol.162, issue.1, pp.23-44, 1996. ,
DOI : 10.1016/0304-3975(95)00248-0
Computable Analysis: an Introduction, 2000. ,
Mathematical Theory of the Differential Analyzer, Journal of Mathematics and Physics, vol.XXII, issue.1-4, pp.337-354, 1941. ,
DOI : 10.1002/sapm1941201337
The differential analyzer. A new machine for solving differential equations, Journal of the Franklin Institute, vol.212, issue.4, pp.447-488, 1931. ,
DOI : 10.1016/S0016-0032(31)90616-9
Real recursive functions and their hierarchy, Journal of Complexity, vol.20, issue.6, pp.835-857, 2004. ,
DOI : 10.1016/j.jco.2004.06.001
URL : http://doi.org/10.1016/j.jco.2004.06.001
Recursive analysis characterized as a class of real recursive functions, to appear in Fund, Inform ,
Robust simulations of Turing machines with analytic maps and flows, CiE 2005: New Computational Paradigms, pp.169-179, 2005. ,
A differentially algebraic replacement theorem, and analog computability, Proc. Amer, pp.367-372, 1987. ,
Analog computers and recursive functions over the reals, Journal of Complexity, vol.19, issue.5, pp.644-664, 2003. ,
DOI : 10.1016/S0885-064X(03)00034-7
Computability with polynomial differential equations ,
Ordinary Differential Equations, 1978. ,
On computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc, pp.230-265, 1936. ,
On the definitions of computable real continuous functions, Fund, Math, vol.44, pp.61-71, 1957. ,
Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles III, Comptes Rendus de l'Académie des, Sciences Paris, vol.241, pp.151-153, 1955. ,
Maximal intervals of computable IVPs are not necessarily computable, trans. Amer, Math. Soc ,