author = {B. Buchberger},
title = {{Mathematical Knowledge Management in Theorema}},
language = {english},
year = {2001},
month = {September 14},
annote = {2001-09-14-A},
note = {Invited colloquium talk at Texas A&M University, Dept. of Mathematics},
institution = {Texas A&M University, Dept. of Mathematics}