author = {W. Windsteiger},
title = {{Theorema: A System for Computer-Supported Theorem Proving and Theory Development based on Mathematica}},
language = {english},
year = {2009},
month = {November 14},
note = {Invited talk at Middle East Mathematica Conference 2009},
organization = {Lebanese American University Beirut (LAU)},
conferencename = {Middle East Mathematica Conference 2009},
url = {http://www.wolfram.com/services/seminars/mideastconf2009/}