伴随多项式与Miranda定理  

Adjoint Polynomials and Miranda'S Theorem

作　　者：徐嘉[1] 姚勇[2,3] 

机构地区：[1]西南民族大学计算机科学与技术学院,四川成都610041 [2]中科院成都计算机应用研究所,四川成都610041 [3]自动推理与认知重庆市重点实验室,重庆400714

出　　处：《数学的实践与认识》2016年第12期247-252,共6页Mathematics in Practice and Theory

基　　金：国家973计划(2011CB302402);国家民委(14XNZ023);四川省教育厅创新团队(15TD0050)

摘　　要：原始版本的Miranda定理应用起来不甚方便.利用多项式在Box上的伴随多项式改造了Miranda定理.证明了改造后的结果对代数方程组实正则零点的检测是有效的.It is inconvenient to use the original version of Miranda＇s Theorem. We reform it by using adjoint polynomials in this paper. The modified version of the theorem is proved to be efficient in checking a real regular zero-point of polynomial systems.

关 键 词：Miranda定理 代数系统 实正则零点 

分 类 号：O174.14[理学—数学]