
An algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis is presented in this paper. Main result: For any function \(f\) over the real numbers being 2-times continuously differentiable defined on a product of compact interval with rational endpoints, \(f\) is elementarily computable in the sense of recursive analysis if and only if \(f\) belongs to the smallest class of functions containing some basic functions and closed by composition, linear integration and a simple limit schema, and \(f\) is elementarily computable in the sense of recursive analysis in level \(n\geq 3\) of the Grzegorczyk hierarchy if and only if \(f\) belongs to the smallest class of functions containing some (other) basic functions and closed by composition, linear integration and a simple limit schema.
computability, Computability, real recursive functions, [INFO] Computer Science [cs], Recursive functions and relations, subrecursive hierarchies, Analog computations, analog computation, recursive analysis, Recursive analysis, Grzegorczyk hierarchy, Real recursive functions, Analysis, Constructive and recursive analysis
computability, Computability, real recursive functions, [INFO] Computer Science [cs], Recursive functions and relations, subrecursive hierarchies, Analog computations, analog computation, recursive analysis, Recursive analysis, Grzegorczyk hierarchy, Real recursive functions, Analysis, Constructive and recursive analysis
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 11 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
