author = {B. Buchberger},
title = {{Overview on the Theorema Project at RISC}},
language = {english},
year = {1996},
month = {March 10},
annote = {1996-03-10-A},
note = {Contributed talk at TMR Meeting "Calculemus", Univ. di Roma III, Italy},
conferencename = {TMR Meeting "Calculemus", Univ. di Roma III, Italy}