Exact real computation of solution operators for linear analytic systems of partial differential equations
type: Item
instance of: scholarly article
title: Exact real computation of solution operators for linear analytic systems of partial differential equations
DOI: 10.1007/978-3-030-85165-1_21
author: Florian Steinberg
author: Holger Thies
author: Martin Ziegler
author: Svetlana V. Selivanova
publication date: 2022-03-24T00:00:00Z
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7497965
zbMATH Keywords: computable analysis
zbMATH Keywords: exact real computation
zbMATH Keywords: partial differential equations
zbMATH Keywords: power series
zbMATH Keywords: Fourier series
zbMATH Keywords: parametrized complexity
zbMATH Keywords: polynomial-time algorithms
describes a project that uses: iRRAM
MaRDI profile type: Publication
full work available at URL: 978-3-030-85165-1 21
OpenAlex ID: W3194584817
cites work: Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
cites work: Q5384984
cites work: Towards Using Exact Real Arithmetic for Initial Value Problems
cites work: Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
cites work: Q4399897
cites work: The analysis of linear partial differential operators. I: Distribution theory and Fourier analysis.
cites work: A new Characterization of Type-2 Feasibility
cites work: Complexity theory for operators in analysis
cites work: Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy
cites work: Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
cites work: Complexity Theory of (Functions on) Compact Metric Spaces
cites work: Average-case polynomial-time computability of hamiltonian dynamics
cites work: Q4002474
cites work: Bit-complexity of solving systems of linear evolutionary partial differential equations
cites work: Computational complexity of real powering and improved solving linear differential equations
cites work: Theory of representations
cites work: Q4531992
cites work: Computer-assisted proofs for semilinear elliptic boundary value problems
cites work: Q4485693
cites work: Computational complexity on computable metric spaces
description: scientific article; zbMATH DE number 7497965