Buchberger, Bruno; Jebelean, Tudor; Kriftner, Franz; Marin, Mircea; Tomuţa, Elena; Văsaru, Daniela A survey of the Theorema project. (English) Zbl 0926.68131 Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 384-391 (1997). Cited in 1 ReviewCited in 11 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 68W30 Symbolic computation and algebraic computation Keywords:Mathematica 3.0 Software:Theorema; Mathematica PDFBibTeX XMLCite \textit{B. Buchberger} et al., in: Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC '97, Maui, HI, USA, July 21--23, 1997. New York, NY: ACM Press. 384--391 (1997; Zbl 0926.68131)