scientific article; zbMATH DE number 1107625
From MaRDI portal
Publication:4373560
compact setsComputable Analysiscomputational complexitycontinuous functionseffective representationsinfinite sequences of symbolsintegrationmeasuresreal numbersTTETuring computabilityType 2 Theory of Effectivityzero-finding
Turing machines and related notions (03D10) Complexity of computation (including implicit computational complexity) (03D15) Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80) Constructive and recursive analysis (03F60) Analysis of algorithms and problem complexity (68Q25)
Recommendations
- scientific article; zbMATH DE number 1222088
- scientific article; zbMATH DE number 1101599
- scientific article; zbMATH DE number 2013199
- Foundational analyses of computation
- scientific article; zbMATH DE number 1460545
- A tutorial on computable analysis
- New Computational Paradigms
- Computability in analysis
- Computability in analysis
- Constructive mathematics: a foundation for computable analysis
Cited in
(16)- Constructive mathematics: a foundation for computable analysis
- Topological analysis of representations
- Constructing extensions of ultraweakly continuous linear functionals
- The computable multi-functions on multi-represented sets are closed under programming
- A Real Number Structure that is Effectively Categorical
- Weak‐operator Continuity and the Existence of Adjoints
- scientific article; zbMATH DE number 1101599 (Why is no real title available?)
- scientific article; zbMATH DE number 2013199 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- Computability on the probability measures on the Borel sets of the unit interval
- Approaches to Effective Semi‐Continuity of Real Functions
- Computability in analysis
- Computability and representations of the zero set
- A tutorial on computable analysis
- scientific article; zbMATH DE number 3322506 (Why is no real title available?)
- New Computational Paradigms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4373560)
