Computational complexity of real functions (Q1171056): Difference between revisions

@@ Property / author @@
-Ker-I. Ko
@@ Property / author: Ker-I. Ko / rank @@
-Normal rank
@@ Property / author @@
-Harvey M. Friedman
@@ Property / author: Harvey M. Friedman / rank @@
-Normal rank
@@ Property / author @@
+Ker-I. Ko
@@ Property / author: Ker-I. Ko / rank @@
+Normal rank
@@ Property / author @@
+Harvey M. Friedman
@@ Property / author: Harvey M. Friedman / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis in the Computable Number Field
@@ Property / cites work: Analysis in the Computable Number Field / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+Q5672170
@@ Property / cites work: Q5672170 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Q3260573
@@ Property / cites work: Q3260573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590393
@@ Property / cites work: Q5590393 / rank @@
+Normal rank
@@ Property / cites work @@
+The maximum value problem and NP real numbers
@@ Property / cites work: The maximum value problem and NP real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3227567
@@ Property / cites work: Q3227567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3243267
@@ Property / cites work: Q3243267 / rank @@
+Normal rank
@@ Property / cites work @@
+On computable sequences
@@ Property / cites work: On computable sequences / 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 @@
+An Exact Method for Finding the Roots of a Complex Polynomial
+Normal rank
@@ Property / cites work @@
+Recursive Real Numbers
@@ Property / cites work: Recursive Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526189
@@ Property / cites work: Q5526189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556429
@@ Property / cites work: Q5556429 / 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 @@
+A Global Bisection Algorithm for Computing the Zeros of Polynomials in the Complex Plane
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(82)80003-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2006786362
@@ Property / OpenAlex ID: W2006786362 / rank @@
+Normal rank