author = {B. Buchberger}, title = {{Mathematical Theory Exploration}}, language = {english}, year = {2006}, month = {August 17-20}, annote = {2006-08-17-A}, note = {Invited talk at IJCAR, Seattle, USA}, conferencename = {IJCAR, Seattle, USA}