RISC RISC Research Institute for Symbolic Computation  
  • @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}