|
|||||
|
|
| Tarski模型外的一类机器可判定问题 | |
| 引用本文： | 杨路,姚勇,冯勇.Tarski模型外的一类机器可判定问题[J].中国科学A辑,2007,37(5):513-522. |
| 作者姓名： | 杨路 姚勇 冯勇 |
| 作者单位： | 1. 中国科学院成都计算机应用研究所, 成都 610041 2. 华东师范大学计算机理论研究所, 上海 200062 |
| 基金项目： | 国家重点基础研究发展计划(973计划) |
| 摘 要： | 利用对称多项式的降维方法和证明代数不等式的胞腔分解方法,给出了一个实用的算法, 用于判定一类变元个数也是变量的多项式正性命题.这是一类在Tarski模型外的机器可判定问题.在Maple平台上,根据该算法设计的程序nprove,可以快速实现判定目标. |
| 关 键 词： | 胞腔分解 Tarski模型 机器可判定问题 对称多项式不等式 |
| 收稿时间： | 2006-11-16 |
| 修稿时间： | 2006年11月16 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 | |