Computer Science for Continuous Data
From MaRDI portal
Publication:6487409
DOI10.1007/978-3-031-14788-3_5zbMATH Open1514.68322MaRDI QIDQ6487409FDOQ6487409
Martin Ziegler, Franz Brauße, Pieter Collins
Publication date: 21 December 2022
Recommendations
- Back and forth between continuous and discrete for the working computer scientist
- Alan Turing and the foundations of computable analysis
- Computing over the reals: foundations for scientific computing.
- Applications of continuous mathematics to computer science
- scientific article; zbMATH DE number 1368926
Cites Work
- RealLib: An efficient implementation of exact real arithmetic
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
- Title not available (Why is that?)
- Solutions in \(L_ r\) of the Navier-Stokes initial value problem
- Title not available (Why is that?)
- A random polynomial-time algorithm for approximating the volume of convex bodies
- Title not available (Why is that?)
- Lipschitz continuous ordinary differential equations are polynomial-space complete
- The wave equation with computable initial data such that its unique solution is not computable
- Soundness and Completeness of an Axiom System for Program Verification
- The SIAM 100-Digit Challenge
- Analytic Root Clustering: A Complete Algorithm Using Soft Zero Tests
- Title not available (Why is that?)
- The computational complexity of maximization and integration
- Computational complexity of real functions
- Computing over the reals: foundations for scientific computing.
- Topological complexity with continuous operations
- The computable multi-functions on multi-represented sets are closed under programming
- Title not available (Why is that?)
- Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
- Title not available (Why is that?)
- Computability in linear algebra
- Feasible real random access machines
- Title not available (Why is that?)
- Is the Mandelbrot set computable?
- Theory of representations
- The maximum value problem and NP real numbers
- A fundamental effect in computations on real numbers
- Relative computability and uniform continuity of relations
- Towards Computational Complexity Theory on Advanced Function Spaces in Analysis
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
- Title not available (Why is that?)
- Title not available (Why is that?)
- The field of reals with a predicate for the powers of two
- Computable Measure Theory and Algorithmic Randomness
- IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
- On computable sequences
- Bit-complexity of solving systems of linear evolutionary partial differential equations
- On the computational complexity of the Dirichlet Problem for Poisson's Equation
- Exact real computation of solution operators for linear analytic systems of partial differential equations
- Computer Science Logic
- Quantifier elimination for the reals with a predicate for the powers of two
- Title not available (Why is that?)
- Computability of probability distributions and characteristic functions
- Uniform domain representations of ℓp-spaces
- A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces
- Computing periods
- Verified compilation of floating-point computations
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Title not available (Why is that?)
- Computability of the Solutions to Navier-Stokes Equations via Effective Approximation
- Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time
- On the Computational Complexity of Positive Linear Functionals on $$\mathcal{C}[0;1]$$
- Representations of measurable sets in computable measure theory
- Admissibly Represented Spaces and Qcb-Spaces
- Logical Approaches to Computational Barriers
- Title not available (Why is that?)
- Singular Coverings and Non-Uniform Notions of Closed Set Computability
- Real Benefit of Promises and Advice
- Computing Haar Measures
Cited In (1)
This page was built for publication: Computer Science for Continuous Data
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487409)
