author = {B. Buchberger},
title = {{The Objectives of Formal Mathematics and the Workshop on Formal Gr�bner Bases Theory}},
language = {english},
year = {2006},
month = {March 6},
annote = {2006-03-06-B},
note = {Invited talk at Workshop "Formal Gr�bner Bases Theory"},
institution = {RICAM, RISC},
conferencename = {Workshop "Formal Gr�bner Bases Theory"}