浅谈海涅定理的证明与应用

机译：量子力学中的遍历定理和H定理的证明〜*翻译：新力学中的遍历定理和H定理的证明

机译：阿基米德系算子在证明普通极大值的中心极限定理的证明中的一些应用：开放数学

机译：纯粹数学定理可以证明是正确的，但应用数学，自然科学和社会科学以及工程学中使用的模型最多只能“尚未证明是错误的”。

机译：使用超演绎的Tableaux模理论在Zenon自动定理证明器对B证明规则的验证中的应用

机译：关于交互式定理证明在计算科学和工程中的应用。

机译：有限场理论中的一些定理及其在费马最后定理中的应用

机译：正式实数的海涅-桶覆盖定理的构造证明

机译：哪个定理证明。四种定理证明方法综述

机译：用于定理证明的设备和方法，但不披露导致定理的文件

机译：勾股定理证明的新方法

机译：毕达哥拉斯定理证明难题