author = {W. Windsteiger},
title = {{Theorema 2.0 Towards Computer-Supported "Natural-Style Mathematics"}},
language = {english},
year = {2015},
month = {December 15},
note = {Contributed talk at Workshop on Algebra, Geometry and Proofs in Symbolic Computation},
organization = {Fields Institute},
conferencename = {Workshop on Algebra, Geometry and Proofs in Symbolic Computation}