A Tutorial on Computable Analysis
- 1 January 2008
- book chapter
- Published by Springer Nature
- p. 425-491
Abstract
No abstract availableThis publication has 77 references indexed in Scilit:
- On Computational Complexity of Siegel Julia SetsCommunications in Mathematical Physics, 2006
- The approximation structure of a computably approximable realThe Journal of Symbolic Logic, 2003
- Weakly Computable Real NumbersJournal of Complexity, 2000
- Domain representations of topological spacesTheoretical Computer Science, 2000
- Computable invarianceTheoretical Computer Science, 1999
- Complexity and Real Computation1998
- Topologies on Closed and Closed Convex Sets1993
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machinesBulletin of the American Mathematical Society, 1989
- Die Nichtkonstruktivität des Brouwerschen FixpunktsatzesArchive for Mathematical Logic, 1985
- Signed-Digit Numbe Representations for Fast Parallel ArithmeticIEEE Transactions on Electronic Computers, 1961