应用“A”与“X”模型证明著名平面几何定理

机译：Herbrand定理的一种改进及其在模型生成定理证明中的应用

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

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

机译：GraATP：平面几何中自动定理证明的图论方法

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

机译：将多变量时间重新定理定理应用于神经人口模型

机译：GraaTp：一种用于自动定理证明的图论理论方法   平面几何

机译：自动定理证明在计算机系统安全中的应用：图解保护模型

机译：三个力的证明定理模型

机译：模型为了说明定理的应用，改变机械系统的运动次数来研究运动连续

机译：证明化妆品或药物活性物质的有效性，包括培养细胞或组织模型，确定线粒体酶的基因表达并将活性物质应用于细胞或组织模型