author = {B. Buchberger and T. Jebelean and W. Windsteiger and T. Kutsia and K. Nakagawa and J. Robu and F. Piroi and A. Craciun and N. Popov and G. Kusper and M. Rosenkranz and L. Kovacs and C. Kocsis},
title = {{F 1302: THEOREMA: Proving, Solving, and Computing in the Theory of Hilbert Spaces}},
booktitle = {{Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part II: Proposal}},
language = {english},
pages = {58--73},
publisher = {Johannes Kepler University Linz, Austria},
isbn_issn = {-},
year = {2003},
month = {October},
annote = {2003-10-06-B},
editor = {P. Paule and U. Langer},
refereed = {no},
length = {25}