Exact real computation of solution operators for linear analytic systems of partial differential equations
From MaRDI portal
Publication:832000
DOI10.1007/978-3-030-85165-1_21OpenAlexW3194584817MaRDI QIDQ832000
Florian Steinberg, Martin Ziegler, Holger Thies, Svetlana V. Selivanova
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85165-1_21
power seriesFourier seriespartial differential equationspolynomial-time algorithmscomputable analysisparametrized complexityexact real computation
Related Items (2)
Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations ⋮ Computational complexity of classical solutions of partial differential equations
Uses Software
Cites Work
- 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
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Theory of representations
- The analysis of linear partial differential operators. I: Distribution theory and Fourier analysis.
- Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
- Bit-complexity of solving systems of linear evolutionary partial differential equations
- Computational complexity of real powering and improved solving linear differential equations
- Complexity theory for operators in analysis
- Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
- Towards Using Exact Real Arithmetic for Initial Value Problems
- Complexity Theory of (Functions on) Compact Metric Spaces
- Computational complexity on computable metric spaces
- A new Characterization of Type-2 Feasibility
- Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
- Average-case polynomial-time computability of hamiltonian dynamics
This page was built for publication: Exact real computation of solution operators for linear analytic systems of partial differential equations
