28 citations · 72 across the 29 of their papers we have counts for
1 paper · 1 filter
Doron Zeilberger
The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.