RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC328,
    author = {B. Buchberger},
    title = {{Theorem Proving For and With Gröbner Bases Theory}},
    booktitle = {{2nd International Workshop on Multidimensional (nD) Systems, June 27-30, 2000, Csocha Castle, Lower Silesia, Poland.}},
    language = {english},
    pages = {15--22},
    publisher = {Copyright: Technical University Press, Zielona Gora, Poland},
    isbn_issn = {ISBN: 83-85911-71-5},
    year = {2000},
    annote = {2000-06-26-B},
    editor = {K. Galkowski},
    refereed = {yes},
    length = {8}
    }