author = {B. Buchberger and T. Jebelean and F. Kriftner and M. Marin and E. Tomuta and D. Vasaru},
title = {{A Survey of the Theorema project}},
language = {english},
year = {1997},
month = {July 21-23},
annote = {1997-07-21-A},
note = {Contributed talk at ISSAC'97 (International Symposium on Symbolic and Algebraic Computation), Maui, Hawaii},
conferencename = {ISSAC'97 (International Symposium on Symbolic and Algebraic Computation), Maui, Hawaii}