Rosenfeld—Gr6bner算法相关硕士博士期刊学术论文 - 信丰网

Rosenfeld—Gr6bner算法相关论文

微分几何定理证明中最简单辅助条件的计算

在微分几何定理证明中,一个定理成立的辅助条件(非退化条件)不是惟一的,但越简单越好.对预先确定的标准如变元个数最少、导数算子......

期刊

微分几何定理机器证明吴方法 Rosenfeld—Gr6bner算法辅助条件构造性算法 differential geometry theorem pro

看过本文同时还关注