A Survey of the Theorema Project.

Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru

Browse the full ISSAC paper archive.