author = {B. Buchberger},
title = {{Groebner Bases in Theorema Using Functors}},
language = {english},
year = {2008},
month = {April 28-30},
annote = {2008-04-28-A},
note = {Invited talk at Conference on Symbolic Computation and Cryptography},
institution = {Beihang University, Beijing, China},
conferencename = {Conference on Symbolic Computation and Cryptography}