scientific article; zbMATH DE number 1746051

zbMath0985.03054MaRDI QIDQ4532000

Martin Ziegler, Vasco Brattka

Publication date: 27 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2064/20640378

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Eigenvalues, singular values, and eigenvectors (15A18)

Related Items

Primitive recursive ordered fields and some applications ⋮ Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations ⋮ Primitive recursive ordered fields and some applications ⋮ Computing Solutions of Symmetric Hyperbolic Systems of PDE's ⋮ Uniformly Computable Aspects of Inner Functions ⋮ Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus ⋮ Computability in linear algebra ⋮ Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision ⋮ Bit-complexity of solving systems of linear evolutionary partial differential equations ⋮ Stability versus speed in a computable algebraic model