author = {B. Buchberger},
title = {{Mathematical Theory Exploration: Case Study Groebner Bases}},
language = {english},
year = {2006},
month = {September 26-29},
annote = {2006-09-26-A},
note = {Invited talk at SYNASC 2006, Timisoara},
conferencename = {SYNASC 2006, Timisoara}