author = {B. Buchberger},
title = {{Algorithm Supported Mathematical Theory Exploration}},
language = {english},
year = {2004},
month = {September 22-24},
annote = {2004-09-22-A},
note = {(Springer Lecture Notes in Artificial Intelligence, Vol. 3249, ISSN 0302-9743, ISBN 3-540-23212-5). Contributed talk at AISC 2004 (7th International Conference on Artificial Intelligence and Symbolic Computation), RISC, Johannes Kepler University, Austria},
conferencename = {AISC 2004 (7th International Conference on Artificial Intelligence and Symbolic Computation), RISC, Johannes Kepler University, Austria}