胞腔分解相关论文
利用对称多项式的降维方法和证明代数不等式的胞腔分解方法,给出了一个实用的算法,用于判定一类变元个数也是变量的多项式正性命题......
阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型......
阐述了一个基于胞腔分解的不等式证明算法 .据此算法编制的Maple通用程序能有效地处理含有根式的不等式型定理 ,对于Bottema等所著......
