机译:模型消除演算中的强收缩:在基于PTTP的定理证明中的实现
automated theorem proving; PTTP; model elimination;
机译:使用邻近度进行微积分:学生可以实际证明定理的数学方法:开放式数学
机译:纯粹数学定理可以证明是正确的,但应用数学,自然科学和社会科学以及工程学中使用的模型最多只能“尚未证明是错误的”。
机译:纯数学的定理可以得到证明,但应用数学,自然和社会科学以及工程中的模型最多可以“尚未证明是错误”
机译:自动模型 - 消除定理remerem prover ai-setheo的冗余lemmatization
机译:非线性函数分析中的不动点定理:压缩映射和局部强伪压缩。
机译:变分微积分中反问题的定理
机译:微积分KE的定理证明与模型构建