-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=微分几何定理 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
微分几何定理证明中最简单辅助条件的计算被引量：1
《兰州大学学报（自然科学版）》2003年第1期20-23,共4页王继民 李廉 
国家‘973’项目"数学机械化与自动推理平台"资助项目 ( G1 9980 30 6) .
在微分几何定理证明中 ,一个定理成立的辅助条件 (非退化条件 )不是惟一的 ,但越简单越好 .对预先确定的标准如变元个数最少、导数算子阶数最低等 ,利用根微分理想分解的 Rosenfeld-Grobner算法 ,给出了微分几何定理机器证明中最简单...
关键词：微分几何定理 机器证明 吴方法 Rosenfeld—Gr6bner算法 辅助条件 构造性算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部