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_21MaRDI QIDQ832000
Martin Ziegler, Florian Steinberg, 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 series; Fourier series; partial differential equations; polynomial-time algorithms; computable analysis; parametrized complexity; exact real computation
68W30: Symbolic computation and algebraic computation
Uses Software