author = {B. Buchberger},
title = {{Computer-Supported Mathematical Theory Exploration: A Shift of Paradigm in Mathematical Software}},
language = {english},
year = {2004},
month = {January 26-28},
annote = {2004-01-26-A},
note = {Invited talk at Mathematica Gulf Conference 2004, Sultan Qaboos University, Department of Mathematics and Statistics, organized by M. Rakha and M. Ben Rouma},
conferencename = {Mathematica Gulf Conference 2004, Sultan Qaboos University, Department of Mathematics and Statistics, organized by M. Rakha and M. Ben Rouma}