Computability structure of the Sobolev spaces and its applications (Q1292420): Difference between revisions

@@ Property / cites work @@
+Q3910522
@@ Property / cites work: Q3910522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4073917
@@ Property / cites work: Q4073917 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / 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 @@
+Q5724171
@@ Property / cites work: Q5724171 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of fixed points and intersection points
+Normal rank
@@ Property / cites work @@
+A polynomial-time computable curve whose interior has a nonrecursive measure
+Normal rank
@@ Property / cites work @@
+On the computability of fractal dimensions and Hausdorff measure
+Normal rank
@@ Property / cites work @@
+Q3966120
@@ Property / cites work: Q3966120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226754
@@ Property / cites work: Q3226754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549989
@@ Property / cites work: Q5549989 / rank @@
+Normal rank
@@ Property / cites work @@
+A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
+Normal rank
@@ Property / cites work @@
+Computability and Noncomputability in Classical Analysis
+Normal rank
@@ Property / cites work @@
+L p -Computability in Recursive Analysis
@@ Property / cites work: L p -Computability in Recursive Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5803576
@@ Property / cites work: Q5803576 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Definition of Computable Function of a Real Variable
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714764
@@ Property / cites work: Q4714764 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of Computable Functions
@@ Property / cites work: Derivatives of Computable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
+Normal rank