Differential equations, infinite limits and real recursive functions

Authors:
José Félix Costa;Bruno Loff;Jerzy Mycka
Affiliations:
Instituto Superior Técnico, Departamento de Matemáica, Lisboa, Portugal;Instituto Superior Técnico, Departamento de Matemáica, Lisboa, Portugal;University of Maria Curie-Sklodowska, Institute of Mathematics, Lublin, Poland
Venue:
ACC'08 Proceedings of the WSEAS International Conference on Applied Computing Conference
Year:
2008

Citing 5
Cited 0

Recursion theory on the reals and continuous-time computation

Theoretical Computer Science - Special issue on real numbers and computers
General-Purpose Electronic Analog Computing: 1945-1965

IEEE Annals of the History of Computing
Real recursive functions and their hierarchy

Journal of Complexity
Recursive Analysis Characterized as a Class of Real Recursive Functions

Fundamenta Informaticae - SPECIAL ISSUE MCU2004
The New Promise of Analog Computation

CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this article we present a strong support to real recursive function theory as a branch of computability theory rooted in mathematical analysis. This new paradigm connects computation on reals with differential equations and infinite limits in a robust and smooth way. The results presented here are taken mainly from the article (4) of the same authors.