author = {W. Windsteiger},
title = {{Theorema 2.0: Theorem Proving in Mathematica}},
language = {english},
year = {2014},
month = {October 23},
note = {Contributed talk at Wolfram Technology Conference (WTC'2014)},
conferencename = {Wolfram Technology Conference (WTC'2014)},
url = {http://www.wolfram.com/events/technology-conference/2014/}