author = {B. Buchberger},
title = {{A Language for Pure and Algorithmic Math}},
language = {english},
year = {1996},
month = {May 17},
annote = {1996-03-17-A},
note = {Invited colloquium talk at Colloquium talk: Wolfram Research International, Champaign/Illinois, USA},
institution = {Colloquium talk: Wolfram Research International, Champaign/Illinois, USA}