作　　者： ; ;

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

出　　处： 《中国科学（E辑）》 1996年第5期424-441,共18页

摘　　要： 符号(文字)系数多项式的1个完全判别系统是由这些系数构成的1组显式表达式,这组表达式足够判定该多项式的实根和虚根的数目及相应的重数,这样1个关于多项式根的分类的显式判准,对于五次及五次以上多项式迄今无人给出.这方面有效工具的缺乏,严重地妨碍了TarsKi的判定算法及近期的一些机器证明方法的计算机实现.为了弥补这一缺陷,提出了对任意次数的多项式建立完全判别系统的1个通用算法.这一结果在各个不同的领域会有广泛的应用,且其有效性已通过计算机实现于以证实.

关 键 词： 多项式 代数公理 完全判别系统 机器辅助计算

领　　域： [理学] [理学] [自动化与计算机技术] [自动化与计算机技术]