author = {W. Windsteiger},
title = {{Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System}},
language = {english},
year = {2012},
month = {July 11},
note = {Contributed talk at UITP 2012},
conferencename = {UITP 2012},
url = {http://www.informatik.uni-bremen.de/uitp12/}