author = {W. Windsteiger},
title = {{Formalizing Mathematics / Computer-supported Mathematics}},
language = {english},
year = {2003},
month = {April 25},
note = {Contributed talk at SFB Statusseminar, Strobl, Austria},
conferencename = {SFB Statusseminar, Strobl, Austria}