author = {W. Windsteiger}, title = {{The Theorema System}}, language = {english}, year = {2002}, month = {September 27}, note = {Contributed talk at Calculemus Autumn School, Pisa, Italy}, conferencename = {Calculemus Autumn School, Pisa, Italy}