@INPROCEEDINGS{ZB00a,
  author = {Ziegler, Martin and Brattka, Vasco},
  title = {A Computable Spectral Theorem},
  booktitle = {Computability and Complexity in Analysis},
  year = {2000},
  editor = {Blanck, Jens and Brattka, Vasco and Hertling, Peter and Weihrauch,
	Klaus},
  volume = {272},
  series = {Informatik Berichte},
  pages = {469--479},
  month = sep,
  publisher = {FernUniversit\"at Hagen},
  note = {CCA 2000 Workshop, Swansea, Wales, September 17--19, 2000},
  keywords = {thi1}
}

{"_id":"hRRFbzeuF66Ea4BQN","bibbaseid":"ziegler-brattka-acomputablespectraltheorem-2000","authorIDs":[],"author_short":["Ziegler, M.","Brattka, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Ziegler"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]}],"title":"A Computable Spectral Theorem","booktitle":"Computability and Complexity in Analysis","year":"2000","editor":[{"propositions":[],"lastnames":["Blanck"],"firstnames":["Jens"],"suffixes":[]},{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Hertling"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]}],"volume":"272","series":"Informatik Berichte","pages":"469–479","month":"September","publisher":"FernUniversität Hagen","note":"CCA 2000 Workshop, Swansea, Wales, September 17–19, 2000","keywords":"thi1","bibtex":"@INPROCEEDINGS{ZB00a,\r\n author = {Ziegler, Martin and Brattka, Vasco},\r\n title = {A Computable Spectral Theorem},\r\n booktitle = {Computability and Complexity in Analysis},\r\n year = {2000},\r\n editor = {Blanck, Jens and Brattka, Vasco and Hertling, Peter and Weihrauch,\r\n\tKlaus},\r\n volume = {272},\r\n series = {Informatik Berichte},\r\n pages = {469--479},\r\n month = sep,\r\n publisher = {FernUniversit\\\"at Hagen},\r\n note = {CCA 2000 Workshop, Swansea, Wales, September 17--19, 2000},\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Ziegler, M.","Brattka, V."],"editor_short":["Blanck, J.","Brattka, V.","Hertling, P.","Weihrauch, K."],"key":"ZB00a","id":"ZB00a","bibbaseid":"ziegler-brattka-acomputablespectraltheorem-2000","role":"author","urls":{},"keyword":["thi1"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:36.052Z","downloads":0,"keywords":["thi1"],"search_terms":["computable","spectral","theorem","ziegler","brattka"],"title":"A Computable Spectral Theorem","year":2000,"dataSources":["t7rKiAbxugj4Agz8M"]}