author = {B. Buchberger},
title = {{Theory Exploration with Theorema}},
language = {english},
year = {2000},
month = {October 4-6},
annote = {2000-10-04-C},
note = {Invited talk at Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2000), University of the West Timisoara, Romania, (in Proceedings pp. 1-16)},
conferencename = {Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2000), University of the West Timisoara, Romania, (in Proceedings pp. 1-16)}