author = {B. Buchberger},
title = {{Mathematical Knowledge Management in THEOREMA}},
booktitle = {{First International Workshop on Mathematical Knowledge Management (MKM 2001)}},
language = {english},
pages = {--},
year = {2001},
month = {September 24-26},
annote = {2001-09-24-A},
editor = {B. Buchberger and O. Caprotti},
refereed = {no},
institution = {RISC-Linz, A-4232 Schloss Hagenberg},
length = {17}