@inproceedings{RISC2330,
author = {B. Buchberger and C. Dupre and T. Jebelean and F. Kriftner and K. Nakagawa and D. Vasaru and W. Windsteiger},
title = {{The Theorema Project: A Progress Report}},
booktitle = {{Symbolic Computation and Automated Reasoning (Proceedings of CALCULEMUS 2000, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning)}},
language = {english},
pages = {98--113},
publisher = {Copyright: A.K. Peters, Natick, Massachusetts},
isbn_issn = {ISBN 1-56881-145-4},
year = {2000},
month = {6-7 August},
annote = {2000-08-06-A},
editor = {M. Kerber and M. Kohlhase},
refereed = {yes},
organization = {St. Andrews, Scotland},
keywords = {Keywords: Theorema formal text language, command language, computational sessions, PCS prover for predicate logic, semantic pattern matching, Groebner bases prover, Gosper-Zeilberger-Paule prover, met},
length = {16}
}