author = {B. Buchberger},
title = {{Computer-unterstuetztes mathematische Beweisen: Theorie oder Praxis? (Computer-Supported Mathematical Proving: Theory or Practice?)}},
language = {german},
year = {2000},
month = {September 17-22},
annote = {2000-09-17-A},
note = {Invited talk at Jahrestagung der Deutschen Mathematiker-Vereinigung, Dresden, Germany},
conferencename = {Jahrestagung der Deutschen Mathematiker-Vereinigung, Dresden, Germany}