author = {B. Buchberger},
title = {{Towards Integrating Theorem Proving and Computer Algebra}},
language = {english},
year = {1997},
month = {January 10},
annote = {1997-01-10-A},
note = {Invited talk at Conference in Honor of Prof. Tony Levelt, University of Nijmegen, The Netherlands},
conferencename = {Conference in Honor of Prof. Tony Levelt, University of Nijmegen, The Netherlands}