author = {W. Windsteiger},
title = {{Theorema 2.0: A Tool for Formalizing Mathematics}},
language = {english},
year = {2016},
month = {January 7},
note = {Contributed talk at Joint Mathematical Meeting of the AMS: Mathematical Information in the Digital Age of Science},
conferencename = {Joint Mathematical Meeting of the AMS: Mathematical Information in the Digital Age of Science},
url = {http://jointmathematicsmeetings.org/jmm}