Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations
From MaRDI portal
Publication:2693688
DOI10.1016/j.jco.2022.101727OpenAlexW4313594008MaRDI QIDQ2693688
Ivan Koswara, Martin Ziegler, Svetlana V. Selivanova, G. A. Pogudin
Publication date: 24 March 2023
Published in: Journal of Complexity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jco.2022.101727
Theory of computing (68Qxx) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
- Lipschitz continuous ordinary differential equations are polynomial-space complete
- Maximum norm error estimates of efficient difference schemes for second-order wave equations
- Computability in linear algebra
- Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
- Exact real computation of solution operators for linear analytic systems of partial differential equations
- Computational complexity of the fast adaptive composite grid (FAC) method
- The bit-complexity of discrete solutions of partial differential equations: Compact multigrid
- The wave equation with computable initial data such that its unique solution is not computable
- On the computational complexity of integral equations
- A fundamental effect in computations on real numbers
- Specified precision polynomial root isolation is in NC
- Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
- Computational complexity of classical solutions of partial differential equations
- Bit-complexity of solving systems of linear evolutionary partial differential equations
- Computational complexity of real powering and improved solving linear differential equations
- Topological complexity with continuous operations
- Realization spaces of arrangements of convex bodies
- On Circulant Matrices
- Computational Complexity of Smooth Differential Equations
- Small Complexity Classes for Computable Analysis
- Complexity Theory for Operators in Analysis
- Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
- IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
- Computational Complexity of Quantum Satisfiability
- Displacement ranks of a matrix
- Computability of the Solutions to Navier-Stokes Equations via Effective Approximation
- A uniformly computable Implicit Function Theorem
- Complexity of Some Geometric and Topological Problems
- Playing Games with Algorithms: Algorithmic Combinatorial Game Theory
- Sparse sets in NP-P: EXPTIME versus NEXPTIME
- Stability and Convergence of Finite Difference Methods for Systems of Nonlinear Reaction-Diffusion Equations
- On the computational complexity of the Dirichlet Problem for Poisson's Equation
- Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
- Complexity Theory of (Functions on) Compact Metric Spaces
- Computational complexity on computable metric spaces
- Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision
- Average-case polynomial-time computability of hamiltonian dynamics
- Computability of Differential Equations
- Weihrauch Complexity in Computable Analysis
- The complexity of satisfiability problems
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Concerning Two Series for the Gamma Function
- A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations
- Complexity Blowup in Simulating Analog Linear Time-Invariant Systems on Digital Computers
This page was built for publication: Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations
