RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC2256,
    author = {F. Piroi and B. Buchberger},
    title = {{Focus Windows: A New Technique for Proof Presentation}},
    booktitle = {{Proceedings of the 8th Rhine Workshop on Computer Algebra, Mannheim, Germany}},
    language = {english},
    pages = {297--313},
    isbn_issn = {_},
    year = {2002},
    month = {March 21-22},
    annote = {2002-02-25-A},
    editor = {H. Kredel and W. Seiler},
    refereed = {yes},
    keywords = {automated theorem proving, Theorema, example, implementation, elementary set theory, equivalences},
    length = {41}
    }