Problem solving; Theorem proving; Robot planning; Heuristic search;
机译:解决显式算术单词问题和证明平面几何定理的框架
机译:解决显式算术词问题的框架,并证明平面几何定理
机译:使用邻近度进行微积分:学生可以实际证明定理的数学方法:开放式数学
机译:条带:一种新方法,以定理证明解决问题
机译:关于交互式定理证明在计算科学和工程中的应用。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:608条:定理证明问题解决的新方法
机译:sTRIps:定理证明在解决问题中的应用新方法。