×

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).

MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68W30 Symbolic computation and algebraic computation

Keywords:

Mathematica 3.0
PDFBibTeX XMLCite