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

• 作者: 冯勇 姚勇 杨路
• 来源期刊: 中国科学A辑
• 学科: 数学
• 关键词: 对称多项式不等式 胞腔分解 Tarski模型 机器可判定问题
• 年，卷（期）: 2007,（5）
• 页码范围: 513-522
• 页数: 10页
• 分类号: O1
• 字数: 6735字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-9232.2007.05.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯勇	中国科学院成都计算机应用研究所	52	233	8.0	13.0
2	杨路	中国科学院成都计算机应用研究所	17	225	7.0	15.0
4	姚勇	中国科学院成都计算机应用研究所	21	89	6.0	9.0