|
|||||
|
|
| 多项式的完全判别系统 | |
| 引用本文： | 杨路,侯晓荣.多项式的完全判别系统[J].中国科学(E辑),1996,26(5):424-441. |
| 作者姓名： | 杨路 侯晓荣 |
| 作者单位： | 中国科学院成都计算机应用研究所!成都610041 |
| 基金项目： | 国家科委“攀登计划”，国家“八六三”计划资助项目 |
| 摘 要： | 符号（文字）系数多项式的１个完全判别系统是由这些系数构成的１组显式表达式，这些表达式足够判定该项式的实根和虚根的数目及相应的重数，这样１个关于多项式根的分类的显式判准，对于五次及五次以上多项式迄今无人给出，这方面有效工具的缺乏，严重地妨碍了Ｔａｒｓｋｉ的判定算法及近期的一些机器证明方法的计算机实现，为了弥补这一缺陷，提出了对任意次数的多项式建立完全判别系统的１个通用算法，这一结果在各个不同的领域会 |
| 关 键 词： | 多项式 代数公理 完全判别系统 机器辅助计算 |
| 本文献已被 CNKI 维普 等数据库收录！ | |