The following pages link to Recursive analysis (Q2546345):
Displaying 23 items.
- Notes on computable analysis (Q519888) (← links)
- Primitive recursive ordered fields and some applications (Q831997) (← links)
- Approximability of operators in constructive metric spaces (Q1147141) (← links)
- On an approximative version of the notion of constructive analytic function (Q1147145) (← links)
- On the relationship between algebra and analysis (Q1149950) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- On the computability of fractal dimensions and Hausdorff measure (Q1295381) (← links)
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II (Q1302291) (← links)
- Studies in constructive mathematics and mathematical logic. Part IX (Q1307304) (← links)
- A blend of methods of recursion theory and topology. (Q1412834) (← links)
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval (Q1589441) (← links)
- Effective simultaneous approximability of reals. (Q1607296) (← links)
- A blend of methods of recursion theory and topology: a \(\Pi_1^0\) tree of shadow points (Q1762734) (← links)
- Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics (Q1807457) (← links)
- The primitive recursive analysis of ordinary differential equations and the complexity of their solutions (Q2561320) (← links)
- Strong reducibilities (Q3942949) (← links)
- Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis (Q4916185) (← links)
- (Q5155667) (← links)
- R. L. Goodstein and mathematical logic (Q5350596) (← links)
- Primitive recursive ordered fields and some applications (Q5880940) (← links)
- On a finitary version of mathematical analysis (Q5957917) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)
