author = {B. Buchberger et al},
title = {{F1302: Proving, Solving, and Computing in the Theory of Hilbert Spaces (Research Proposal)}},
booktitle = {{Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part II: Proposal}},
language = {english},
pages = {54--85},
publisher = {Johannes Kepler University Linz, Austria},
year = {2000},
month = {October 6},
annote = {2000-10-06-B},
refereed = {no},
length = {32}