=ADD=
=reftype=
14
=number=
98-10
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1998/98-10.html
=year=
1998
=month=
06
=author=
Buchberger; Bruno + Jebelean; Tudor
=title=
The Second International Theorema Workshop
=abstract=
The collection of papers.
=sponsor=
The workshop and part of the research presented here was supported
by INTAS project 96-0760. Part of the researchers from RISC-Linz are supported
by Austrian Science Fundation (FWF) project FO-1302 (SFB) and
by a project grant on ``Computer Algebra'' by Fujitsu Labs, ISIS, Numazu, Japan.