-
2
-
-
84968516134
-
On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines
-
L. Blum, M. Shub, and S. Smale. On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bull. Amer. Math. Soc., 21(1):1-46, 1989.
-
(1989)
Bull. Amer. Math. Soc.
, vol.21
, Issue.1
, pp. 1-46
-
-
Blum, L.1
Shub, M.2
Smale, S.3
-
3
-
-
84941147920
-
Recursive analysis characterized as a class of real recursive functions
-
to appear
-
O. Bournez and E. Hainry. Recursive analysis characterized as a class of real recursive functions, to appear in Fund. Inform.
-
Fund. Inform.
-
-
Bournez, O.1
Hainry, E.2
-
4
-
-
0029637353
-
Universal computation and other capabilities of hybrid and continuous dynamical systems
-
M. S. Branicky. Universal computation and other capabilities of hybrid and continuous dynamical systems. Theoret. Comput. Sci., 138(1):67-100, 1995.
-
(1995)
Theoret. Comput. Sci.
, vol.138
, Issue.1
, pp. 67-100
-
-
Branicky, M.S.1
-
5
-
-
0001089886
-
The differential analyzer. A new machine for solving differential equations
-
V. Bush. The differential analyzer. A new machine for solving differential equations. J. Franklin Inst., 212:447-488, 1931.
-
(1931)
J. Franklin Inst.
, vol.212
, pp. 447-488
-
-
Bush, V.1
-
7
-
-
0011287661
-
Iteration, inequalities, and differentiability in analog computers
-
M. L. Campagnolo, G. Moore, and J. F. Costa. Iteration, inequalities, and differentiability in analog computers. J. Complexity, 16(4):642-660, 2000.
-
(2000)
J. Complexity
, vol.16
, Issue.4
, pp. 642-660
-
-
Campagnolo, M.L.1
Moore, G.2
Costa, J.F.3
-
8
-
-
10844222952
-
Some recent developments on Shannon's general purpose analog computer
-
D. S. Graça. Some recent developments on Shannon's General Purpose Analog Computer. Math. Log. Quart., 50(4-5):473-485, 2004.
-
(2004)
Math. Log. Quart.
, vol.50
, Issue.4-5
, pp. 473-485
-
-
Graça, D.S.1
-
9
-
-
26444476497
-
Robust simulations of Turing machines with analytic maps and flows
-
S. B. Cooper, B. Löwe, and L. Torenvliet, editors, LNCS 3526. Springer
-
D. S. Graça, M. L. Campagnolo, and J. Buescu. Robust simulations of Turing machines with analytic maps and flows. In S. B. Cooper, B. Löwe, and L. Torenvliet, editors, CiE 2005: New Computational Paradigms, LNCS 3526, pages 169-179. Springer, 2005.
-
(2005)
CiE 2005: New Computational Paradigms
, pp. 169-179
-
-
Graça, D.S.1
Campagnolo, M.L.2
Buescu, J.3
-
10
-
-
0141615048
-
Analog computers and recursive functions over the reals
-
D. S. Graça and J. F. Costa. Analog computers and recursive functions over the reals. J. Complexity, 19(5):644-664, 2003.
-
(2003)
J. Complexity
, vol.19
, Issue.5
, pp. 644-664
-
-
Graça, D.S.1
Costa, J.F.2
-
11
-
-
0002113398
-
On the definitions of computable real continuous functions
-
A. Grzegorczyk. On the definitions of computable real continuous functions. Fund. Math., 44:61-71, 1957.
-
(1957)
Fund. Math.
, vol.44
, pp. 61-71
-
-
Grzegorczyk, A.1
-
13
-
-
0008854035
-
Closed-form analytic maps in one and two dimensions can simulate universal Turing machines
-
P. Koiran and C. Moore. Closed-form analytic maps in one and two dimensions can simulate universal Turing machines. Theoret. Comput. Sci., 210(1):217-223, 1999.
-
(1999)
Theoret. Comput. Sci.
, vol.210
, Issue.1
, pp. 217-223
-
-
Koiran, P.1
Moore, C.2
-
14
-
-
0001528080
-
Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles III
-
D. Lacombe. 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, 241:151-153, 1955.
-
(1955)
Comptes Rendus de l'Académie des Sciences Paris
, vol.241
, pp. 151-153
-
-
Lacombe, D.1
-
15
-
-
84968510156
-
A differentially algebraic replacement theorem, and analog computability
-
L. Lipshitz and L. A. Rubel. A differentially algebraic replacement theorem, and analog computability. Proc. Amer. Math. Soc., 99(2):367-372, 1987.
-
(1987)
Proc. Amer. Math. Soc.
, vol.99
, Issue.2
, pp. 367-372
-
-
Lipshitz, L.1
Rubel, L.A.2
-
16
-
-
0030570631
-
Recursion theory on the reals and continuous-time computation
-
C. Moore. Recursion theory on the reals and continuous-time computation. Theoret. Comput. Sci., 162:23-44, 1996.
-
(1996)
Theoret. Comput. Sci.
, vol.162
, pp. 23-44
-
-
Moore, C.1
-
17
-
-
10244239347
-
Real recursive functions and their hierarchy
-
J. Mycka and J. F. Costa. Real recursive functions and their hierarchy. J. Complexity, 20(6):835-857, 2004.
-
(2004)
J. Complexity
, vol.20
, Issue.6
, pp. 835-857
-
-
Mycka, J.1
Costa, J.F.2
-
18
-
-
84967792518
-
Abstract computability and its relations to the general purpose analog computer
-
M. B. Pour-El. Abstract computability and its relations to the general purpose analog computer. Thins. Amer. Math. Soc., 199:1-28, 1974.
-
(1974)
Thins. Amer. Math. Soc.
, vol.199
, pp. 1-28
-
-
Pour-El, M.B.1
-
20
-
-
0011530577
-
A survey of transcendentally transcendental functions
-
L. A. Rubel. A survey of transcendentally transcendental functions. Amer. Math. Monthly, 96(9):777-788, 1989.
-
(1989)
Amer. Math. Monthly
, vol.96
, Issue.9
, pp. 777-788
-
-
Rubel, L.A.1
-
21
-
-
85163157556
-
Mathematical theory of the differential analyzer
-
C. E. Shannon. Mathematical theory of the differential analyzer. J. Math. Phys. MIT, 20:337-354, 1941.
-
(1941)
J. Math. Phys. MIT
, vol.20
, pp. 337-354
-
-
Shannon, C.E.1
-
23
-
-
84960561455
-
On computable numbers, with an application to the Entscheidungsproblem
-
A. M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc., 2(42):230-265, 1936.
-
(1936)
Proc. London Math. Soc.
, vol.2
, Issue.42
, pp. 230-265
-
-
Turing, A.M.1
|