Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving

DOI10.1007/978-3-662-57669-4_13OpenAlexW2810442955MaRDI QIDQ1799286

Florian Steinberg, Akitoshi Kawamura, Holger Thies

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-57669-4_13

Mathematics Subject Classification ID

Analytical theory of ordinary differential equations: series, transformations, transforms, operational calculus, etc. (34A25) Complexity and performance of numerical algorithms (65Y20) Real-analytic functions (26E05) Computation over the reals, computable analysis (03D78) Parameterized complexity, tractability and kernelization (68Q27)

Related Items (11)

Primitive recursive ordered fields and some applications ⋮ Exact real computation of solution operators for linear analytic systems of partial differential equations ⋮ Axiomatic reals and certified efficient exact real computation ⋮ Unnamed Item ⋮ Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations ⋮ Primitive recursive ordered fields and some applications ⋮ Quantitative continuity and Computable Analysis in Coq ⋮ Parametrised second-order complexity theory with applications to the study of interval computation ⋮ Computational complexity of classical solutions of partial differential equations ⋮ Computability of Differential Equations ⋮ Bit-complexity of solving systems of linear evolutionary partial differential equations

Uses Software

• iRRAM

This page was built for publication: Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving