author = {W. Windsteiger},
title = {{Representation and Management of Mathematics in Theorema 2.0}},
language = {english},
year = {2017},
month = {September 12},
note = {Contributed talk at Minisymposium From Information to Knowledge Management, ÖMG Congress and DMV Annual Meeting},
conferencename = {Minisymposium From Information to Knowledge Management, ÖMG Congress and DMV Annual Meeting},
url = {http://oemg-dmv-2017.sbg.ac.at/}