On subrecursive complexity of integration (Q2291373): Difference between revisions

@@ Property / cites work @@
+The computational complexity of maximization and integration
+Normal rank
@@ Property / cites work @@
+Conditional computability of real functions with respect to a class of operators
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of real functions
@@ Property / cites work: Computational complexity of real functions / rank @@
+Normal rank
@@ Property / cites work @@
+Computing power series in polynomial time
@@ Property / cites work: Computing power series in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Rudimentary Languages and Second‐Order Logic
@@ Property / cites work: Rudimentary Languages and Second‐Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Provability of the pigeonhole principle and the existence of infinitely many primes
+Normal rank
@@ Property / cites work @@
+Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers
+Normal rank
@@ Property / cites work @@
+Some subrecursive versions of Grzegorczyk's Uniformity Theorem
+Normal rank
@@ Property / cites work @@
+On Some Computability Notions for Real Functions
@@ Property / cites work: On Some Computability Notions for Real Functions / rank @@
+Normal rank
@@ Property / cites work @@
+On a Relative Computability Notion for Real Functions
+Normal rank
@@ Property / cites work @@
+Formula2-computable real numbers
@@ Property / cites work: Formula2-computable real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Quadrature formulas obtained by variable transformation
+Normal rank
@@ Property / cites work @@
+The Exponentially Convergent Trapezoidal Rule
@@ Property / cites work: The Exponentially Convergent Trapezoidal Rule / rank @@
+Normal rank