有价之定理：明日半严格数学文化
组合数学
2008-02-03 v1
摘要
通过使用 WZ 算法化证明理论作为寓言，描述了数学的未来。
关键词
引用
@article{arxiv.math/9301202,
title = {Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture},
author = {Doron Zeilberger},
journal= {arXiv preprint arXiv:math/9301202},
year = {2008}
}
备注
Plain TeX