Computer Science for Continuous Data (Q6487409): Difference between revisions

@@ Property / cites work @@
+Real Benefit of Promises and Advice
@@ Property / cites work: Real Benefit of Promises and Advice / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for the reals with a predicate for the powers of two
+Normal rank
@@ Property / cites work @@
+Verified compilation of floating-point computations
+Normal rank
@@ Property / cites work @@
+The SIAM 100-Digit Challenge
@@ Property / cites work: The SIAM 100-Digit Challenge / rank @@
+Normal rank
@@ Property / cites work @@
+Feasible real random access machines
@@ Property / cites work: Feasible real random access machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5150974
@@ Property / cites work: Q5150974 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3373046
@@ Property / cites work: Q3373046 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing periods
@@ Property / cites work: Computing periods / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+The field of reals with a predicate for the powers of two
+Normal rank
@@ Property / cites work @@
+A random polynomial-time algorithm for approximating the volume of convex bodies
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of Positive Linear Functionals on $$\mathcal{C}[0;1]$$
+Normal rank
@@ Property / cites work @@
+The computational complexity of maximization and integration
+Normal rank
@@ Property / cites work @@
+Solutions in \(L_ r\) of the Navier-Stokes initial value problem
+Normal rank
@@ Property / cites work @@
+Topological complexity with continuous operations
@@ Property / cites work: Topological complexity with continuous operations / rank @@
+Normal rank
@@ Property / cites work @@
+Is the Mandelbrot set computable?
@@ Property / cites work: Is the Mandelbrot set computable? / rank @@
+Normal rank
@@ Property / cites work @@
+Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time
+Normal rank
@@ Property / cites work @@
+Computable Measure Theory and Algorithmic Randomness
+Normal rank
@@ Property / cites work @@
+Lipschitz continuous ordinary differential equations are polynomial-space complete
+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 @@
+Towards Computational Complexity Theory on Advanced Function Spaces in Analysis
+Normal rank
@@ Property / cites work @@
+On the computational complexity of the Dirichlet Problem for Poisson's Equation
+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 @@
+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 @@
+Uniform domain representations of ℓp-spaces
@@ Property / cites work: Uniform domain representations of ℓp-spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Bit-complexity of solving systems of linear evolutionary partial differential equations
+Normal rank
@@ Property / cites work @@
+Q3671969
@@ Property / cites work: Q3671969 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+RealLib: An efficient implementation of exact real arithmetic
+Normal rank
@@ Property / cites work @@
+Singular Coverings and Non-Uniform Notions of Closed Set Computability
+Normal rank
@@ Property / cites work @@
+A fundamental effect in computations on real numbers
+Normal rank
@@ Property / cites work @@
+A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces
+Normal rank
@@ Property / cites work @@
+Computability of Probability Distributions and Characteristic Functions
+Normal rank
@@ Property / cites work @@
+On computable sequences
@@ Property / cites work: On computable sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531992
@@ Property / cites work: Q4531992 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
+Normal rank
@@ Property / cites work @@
+Q5089280
@@ Property / cites work: Q5089280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Haar Measures
@@ Property / cites work: Computing Haar Measures / rank @@
+Normal rank
@@ Property / cites work @@
+Relative computability and uniform continuity of relations
+Normal rank
@@ Property / cites work @@
+The wave equation with computable initial data such that its unique solution is not computable
+Normal rank
@@ Property / cites work @@
+Q3518437
@@ Property / cites work: Q3518437 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibly Represented Spaces and Qcb-Spaces
@@ Property / cites work: Admissibly Represented Spaces and Qcb-Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Exact real computation of solution operators for linear analytic systems of partial differential equations
+Normal rank
@@ Property / cites work @@
+Q5625125
@@ Property / cites work: Q5625125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5367060
@@ Property / cites work: Q5367060 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of the Solutions to Navier-Stokes Equations via Effective Approximation
+Normal rank
@@ Property / cites work @@
+Q3336199
@@ Property / cites work: Q3336199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518432
@@ Property / cites work: Q3518432 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of measurable sets in computable measure theory
+Normal rank
@@ Property / cites work @@
+IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
+Normal rank
@@ Property / cites work @@
+Analytic Root Clustering: A Complete Algorithm Using Soft Zero Tests
+Normal rank
@@ Property / cites work @@
+Q5718722
@@ Property / cites work: Q5718722 / rank @@
+Normal rank
@@ Property / cites work @@
+The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
+Normal rank
@@ Property / cites work @@
+Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
+Normal rank
@@ Property / cites work @@
+Computability in linear algebra
@@ Property / cites work: Computability in linear algebra / rank @@
+Normal rank