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 General Domains}},
booktitle = {{Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 2001-September 2003}},
language = {english},
pages = {148--170},
publisher = {Johannes Kepler University Linz, Austria},
isbn_issn = {?},
year = {2003},
month = {October},
annote = {2003-10-06-A},
editor = {P. Paule and U. Langer},
refereed = {no},
length = {22}