author = {W. Windsteiger},
title = {{Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System}},
language = {english},
year = {2012},
month = {July 12},
conferencename = {CICM'2012},
url = {http://www.informatik.uni-bremen.de/cicm2012/cicm.php}