Cramer定理之推论的扩充及其对其它定理新证明的应用

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

机译：用推论推理证明定理证明可满足性

机译：在不使用计算机的情况下获得四色定理的简要证明：用于证明四色定理的定理

机译：启发式定理证明：另一个SMT模定理证明

机译：（新）直接乘积定理的新证明。

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

机译：非空交定理的一些新推论，没有凸度假设，其解集具有应用的本质稳定性

机译：Gel'Fand定理与Orlicz-pettis定理的新证明

机译：推论的方法和装置以及证明定理的方法和装置

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

机译：定理定理在那里有定理伴随定理