@inproceedingsZiegler_Brattka_2001, place=Berlin, Heidelberg, title=A Computable Spectral Theorem, volume=2064, DOI=10.1007/3-540-45335-0_23, booktitle=Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), author=Ziegler, Martin and Brattka, Vasco, year=2001, pages=378–388 
LibreCat: /record/18152
DOI: 10.1007/3-540-45335-0_23