Publication:4764101
From MaRDI portal
zbMath0823.03034MaRDI QIDQ4764101
Publication date: 31 October 1995
dynamical systems; constructive mathematics; attracting point; recursive real function; computability of a fixed point; computability of a function; constructive real number; levels of computability; recursive numbers
03F60: Constructive and recursive analysis
47H10: Fixed-point theorems
03F65: Other constructive mathematics
Related Items
Effective Symbolic Dynamics, Index sets in computable analysis, On the computability of fractal dimensions and Hausdorff measure, Effectively closed sets and graphs of computable real functions.