author = {B. Buchberger and T. Jebelean},
title = {{The Theorema System}},
language = {english},
year = {1998},
month = {August},
annote = {1998-08-08-A},
note = {Invited talk at MFCS'98 (International Conference on Mathematical Foundations of Computer Science), Brno, Czech Republic},
conferencename = { MFCS'98 (International Conference on Mathematical Foundations of Computer Science), Brno, Czech Republic}