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