author = {B. Buchberger},
title = {{On Overview on the Theorema Project}},
language = {english},
year = {1997},
month = {July 3},
annote = {1997-07-03-A},
note = {Invited colloquium talk at GMD, Institut fuer Algorithmen, Bonn/Birlinghoven, Germany},
institution = {GMD, Institut fuer Algorithmen, Bonn/Birlinghoven, Germany}