author = {B. Buchberger},
title = {{Mathematics: The Technology of Reasoning}},
language = {english},
year = {1999},
month = {December 18-20},
annote = {1999-12-18-A},
note = {Invited talk at 4th Asian Technology Conference in Mathematics, Guangzhou, China},
conferencename = {4th Asian Technology Conference in Mathematics, Guangzhou, China}