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}