A Computable Spectral Theorem.

Martin Ziegler, Vasco Brattka

Browse the full CCA paper archive.