Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus

From MaRDI portal