摘要
符号(文字)系数多项式的1个完全判别系统是由这些系数构成的1组显式表达式,这组表达式足够判定该多项式的实根和虚根的数目及相应的重数,这样1个关于多项式根的分类的显式判准,对于五次及五次以上多项式迄今无人给出.这方面有效工具的缺乏,严重地妨碍了TarsKi的判定算法及近期的一些机器证明方法的计算机实现.为了弥补这一缺陷,提出了对任意次数的多项式建立完全判别系统的1个通用算法.这一结果在各个不同的领域会有广泛的应用,且其有效性已通过计算机实现于以证实.
出处
《中国科学（E辑）》
CSCD
1996年第5期424-441,共18页
Science in China(Series E)
基金
国家科委"攀登计划"
国家"八六三"计划资助项目
