author = {B. Buchberger},
title = {{A Formal Knowledge Base for Groebner Bases Theory}},
language = {english},
year = {2004},
month = {September 1-4},
annote = {2004-09-03-A},
note = {Invited talk at Annual Conference of the Japanese Society for Symbolic and Algebraic Computation (JSSAC), Atsugi, Japan},
conferencename = {Annual Conference of the Japanese Society for Symbolic and Algebraic Computation (JSSAC), Atsugi, Japan}