RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC321,
    author = {B. Buchberger},
    title = {{The PCS Prover in Theorema}},
    booktitle = {{Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science)}},
    language = {english},
    abstract = { },
    series = {Lecture Notes in Computer Science 2178},
    pages = {469--478},
    publisher = {Copyright: Springer - Verlag Berlin},
    isbn_issn = {ISSN 0302-9743, ISBN 3-540-429},
    year = {2001},
    month = {19-23 February},
    annote = {2001-02-19-B},
    editor = {R. Moreno-Diaz and B. Buchberger and J.L. Freire},
    refereed = {yes},
    organization = {Las Palmas de Gran Canaria},
    keywords = {Keywords: proving - solving - computing, automated theorem proving, proof example, limit of sum, Collins' algorithm},
    length = {10}
    }