author = {B. Buchberger},
title = {{Overview on the Theorema Project. Contributed talk at: International Conference on Symbolic and Numeric Scientific Computing (SNSC)}},
language = {english},
year = {2008},
month = {July 24-26},
annote = {2008-07-24-B},
note = {Invited colloquium talk at RISC, Johannes Kepler University, Hagenberg},
institution = {RISC, Johannes Kepler University, Hagenberg}