author = {B. Buchberger},
title = {{Integrating Theorem Proving into Computer Algebra Systems}},
language = {english},
year = {1996},
month = {August 13},
annote = {1996-08-13-A},
note = {Invited talk at Computer Algebra Conference at the Fujitsui Labs in Numazu, Japan},
conferencename = {Computer Algebra Conference at the Fujitsui Labs in Numazu, Japan}