Tarski模型外的一类机器可判定问题  

作　　者：杨路[1] 姚勇[1] 冯勇[1] 

机构地区：[1]中国科学院成都计算机应用研究所

出　　处：《中国科学（A辑）》2007年第5期513-522,共10页Science in China(Series A)

基　　金：国家重点基础研究发展规划基金资助项目(批准号:2004CB318003)

摘　　要：利用对称多项式的降维方法和证明代数不等式的胞腔分解方法,给出了一个实用的算法,用于判定一类变元个数也是变量的多项式正性命题．这是一类在Tarski模型外的机器可判定问题．在Maple平台上,根据该算法设计的程序nprove,可以快速实现判定目标．

关 键 词：对称多项式不等式 胞腔分解 Tarski模型 机器可判定问题 

分 类 号：O174.14[理学—数学]