%0 Journal Article
%T Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture
%A Doron Zeilberger
%J Mathematics
%D 1993
%I arXiv
%X The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.
%U http://arxiv.org/abs/math/9301202v1