University of Central Florida, Orlando, FL;
机译:由文本和图表自动证明平面几何定理
机译:自动证明文本和图表中规定的平面几何定理
机译:在图像处理算法的背景下对NTP(神经理定理)的洞察 - 探索HO列表和深脑的简单建议和短期通信:高阶定理的机器学习(ML)证明
机译:第3节:使用定理箴言生成文本
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:b-拟度量族生成空间中的一些不动点定理
机译:aTpportal:一个用户友好的基于Web的界面,用于自动定理证明和自动生成的证明
机译:使用自动定理证明器来验证自动生成的航空航天软件