author = {B. Buchberger},
title = {{Introduction to Mathematical Knowledge Management}},
language = {english},
year = {2001},
month = {September 24-26},
annote = {2001-09-25-A},
note = {Contributed talk at First International Workshop on Mathematical Knowledge Management, RISC-Linz, Austria},
conferencename = {First International Workshop on Mathematical Knowledge Management, RISC-Linz, Austria}