author = {W. Windsteiger},
title = {{Theorema: A System for Mathematical Theory Exploration}},
language = {english},
year = {2005},
month = {April 26},
note = {Invited colloquium talk at Institute for Algebra, Charles University Prague},
institution = {Institute for Algebra, Charles University Prague}