Computational complexity of real powering and improved solving linear differential equations

DOI10.1007/978-3-030-19955-5_19OpenAlexW2950430863MaRDI QIDQ2330561

Ivan Koswara, Martin Ziegler, Svetlana V. Selivanova

Publication date: 22 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-19955-5_19

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (8)

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 ⋮ Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations ⋮ Primitive recursive ordered fields and some applications ⋮ Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision ⋮ Computational complexity of classical solutions of partial differential equations ⋮ Bit-complexity of solving systems of linear evolutionary partial differential equations

This page was built for publication: Computational complexity of real powering and improved solving linear differential equations