为了寻求费马大定理的解答，三个多世纪以来，一代又一代的数学家们前赴后继，却壮志未酬。1995年，美国普林斯顿大学的安德鲁·怀尔斯教授经过8年的孤军奋战，用130页长的篇幅证明了费马大定理。怀尔斯成为整个数学界的英雄。
非常经典！
2021-11-22 20:50:44
10.19MB
1
关于stolz定理的0/0型和*/(无穷）型的证明，证明来自于下书：
高等教育出版社--数学分析--陈纪修，於崇华，金路
清华大学出版社--数学分析--徐森林，薛春华
2021-09-17 10:57:18
180KB
1
Coq定理证明工具安装包，可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼！
2021-08-27 14:40:18
202.23MB
1
阿里巴巴NIPS 2019论文 Joint Optimization of Tree-based Index and Deep Model for Recommender Systems 的supplementary file以及论文中算法的实现
2021-06-09 14:07:33
512KB
1