author = {B. Buchberger},
title = {{Theorem Proving For and With Groebner Bases Theory}},
language = {english},
year = {2000},
month = {June 27-30},
annote = {2000-06-26-B},
note = {Invited talk at 2nd International Workshop on Multidimensional (nD) Systems, Csocha Castle, Lower Silesia, Poland, (in Proceedings pp. 15-22, K. Galkowski ed.)},
conferencename = {2nd International Workshop on Multidimensional (nD) Systems, Csocha Castle, Lower Silesia, Poland, (in Proceedings pp. 15-22, K. Galkowski ed.)}