Towards Computational Complexity Theory on Advanced Function Spaces in Analysis (Q3188250): 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-319-40189-8_15
+Normal rank
@@ Property / OpenAlex ID @@
+W2476980550
@@ Property / OpenAlex ID: W2476980550 / rank @@
+Normal rank
@@ Property / cites work @@
+Relativizing small complexity classes and their theories
+Normal rank
@@ Property / cites work @@
+Q3373046
@@ Property / cites work: Q3373046 / rank @@
+Normal rank
@@ Property / cites work @@
+Relativized alternation and space-bounded computation
+Normal rank
@@ Property / cites work @@
+Topological properties of concept spaces (full version)
+Normal rank
@@ Property / cites work @@
+Regular Real Analysis
@@ Property / cites work: Regular Real Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of Positive Linear Functionals on $$\mathcal{C}[0;1]$$
+Normal rank
@@ Property / cites work @@
+Characterizing polynomial time complexity of stream programs using interpretations
+Normal rank
@@ Property / cites work @@
+A Banach-Mazur computable but not Markov computable function on the computable real numbers
+Normal rank
@@ Property / cites work @@
+A new Characterization of Type-2 Feasibility
@@ Property / cites work: A new Characterization of Type-2 Feasibility / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Theory for Operators in Analysis
@@ Property / cites work: Complexity Theory for Operators in Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Small Complexity Classes for Computable Analysis
@@ Property / cites work: Small Complexity Classes for Computable Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Function Spaces for Second-Order Polynomial Time
@@ Property / cites work: Function Spaces for Second-Order Polynomial Time / rank @@
+Normal rank
@@ Property / cites work @@
+Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Computational Complexity of Smooth Differential Equations
+Normal rank
@@ Property / cites work @@
+Relative computability and uniform continuity of relations
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Spaces allowing Type‐2 Complexity Theory revisited
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+On Computability of Navier-Stokes’ Equation
@@ Property / cites work: On Computability of Navier-Stokes’ Equation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity on computable metric spaces
+Normal rank
@@ Property / cites work @@
+IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
+Normal rank
@@ Property / cites work @@
+A measure of relativized space which is faithful with respect to depth
+Normal rank
@@ Property / cites work @@
+Real hypercomputation and continuity
@@ Property / cites work: Real hypercomputation and continuity / rank @@
+Normal rank