author = {B. Buchberger},
title = {{The Theorema Project: An Overview}},
language = {english},
year = {1997},
month = {September 17},
annote = {1997-09-17-A},
note = {Contributed talk at Symposium on the TARA Project, University of Tsukuba, Japan},
conferencename = {Symposium on the TARA Project, University of Tsukuba, Japan}