Computability of Real Numbers (Q5024567): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-59234-9_1
+Normal rank
@@ Property / OpenAlex ID @@
+W3166372913
@@ Property / OpenAlex ID: W3166372913 / rank @@
+Normal rank
@@ Property / cites work @@
+Differences of halting probabilities
@@ Property / cites work: Differences of halting probabilities / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on the Differences of Computably Enumerable Reals
+Normal rank
@@ Property / cites work @@
+Recursively enumerable reals and Chaitin \(\Omega\) numbers
+Normal rank
@@ Property / cites work @@
+A Theory of Program Size Formally Identical to Information Theory
+Normal rank
@@ Property / cites work @@
+Degrees of d. c. e. reals
@@ Property / cites work: Degrees of d. c. e. reals / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness, Computability, and Density
@@ Property / cites work: Randomness, Computability, and Density / rank @@
+Normal rank
@@ Property / cites work @@
+Presentations of computably enumerable reals.
@@ Property / cites work: Presentations of computably enumerable reals. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619076
@@ Property / cites work: Q5619076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619077
@@ Property / cites work: Q5619077 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Level sets of univalent functions
@@ Property / cites work: Level sets of univalent functions / rank @@
+Normal rank
@@ Property / cites work @@
+Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time
+Normal rank
@@ Property / cites work @@
+On the definitions of some complexity classes of real numbers
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3966120
@@ Property / cites work: Q3966120 / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness and Recursive Enumerability
@@ Property / cites work: Randomness and Recursive Enumerability / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday
+Normal rank
@@ Property / cites work @@
+Q3765758
@@ Property / cites work: Q3765758 / rank @@
+Normal rank
@@ Property / cites work @@
+Criteria of constructibility for real numbers
@@ Property / cites work: Criteria of constructibility for real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Bloch-Landau Constant
@@ Property / cites work: On the Bloch-Landau Constant / rank @@
+Normal rank
@@ Property / cites work @@
+Relative randomness and real closed fields
@@ Property / cites work: Relative randomness and real closed fields / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518437
@@ Property / cites work: Q3518437 / rank @@
+Normal rank
@@ Property / cites work @@
+On computable approximations of Landau's constant
@@ Property / cites work: On computable approximations of Landau's constant / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Riemann mappings of multiply connected domains and Riemann surfaces
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Computing and Combinatorics
@@ Property / cites work: Computing and Combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of Turing degrees of divergence bounded computable real numbers
+Normal rank
@@ Property / cites work @@
+Q4551395
@@ Property / cites work: Q4551395 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Real Numbers
@@ Property / cites work: Recursive Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion Theory and Dedekind Cuts
@@ Property / cites work: Recursion Theory and Dedekind Cuts / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218154
@@ Property / cites work: Q4218154 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Divergence Bounded Computable Real Numbers
@@ Property / cites work: On the Divergence Bounded Computable Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Turing Degrees of Weakly Computable Real Numbers
+Normal rank
@@ Property / cites work @@
+Classification of computably approximable real numbers
+Normal rank
@@ Property / cites work @@
+Divergence bounded computable real numbers
@@ Property / cites work: Divergence bounded computable real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Weak computability and representation of reals
@@ Property / cites work: Weak computability and representation of reals / rank @@
+Normal rank
@@ Property / cites work @@
+Computing and Combinatorics
@@ Property / cites work: Computing and Combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of real number classes under CBV functions
+Normal rank