零维三角型系统带重数的实解隔离  

作　　者：张志海[1] 方天[1] 夏壁灿[1] 

机构地区：[1]北京大学数学科学学院

出　　处：《中国科学：信息科学》2010年第9期1176-1186,共11页Scientia Sinica(Informationis)

基　　金：国家重点基础研究发展计划(批准号:NKBRPC-2005CB321902);国家自然科学基金(批准号:NSFC-90718041)资助项目

摘　　要：现有的隔离零维多项式系统实解的算法都不计算解的重数.文中用一种自然的方式定义了零维三角型多项式系统解的重数并证明了该定义与经典的局部(相交)重数的定义等价.使用该定义,给出了一个完备有效的算法计算零维三角型多项式系统的实解隔离及实解重数.文中的算法基于代数数系数多项式的无平方因子分解和区间算术.文中还给出了一些算例.

关 键 词：实解隔离 局部重数 局部环 多项式系统求解 

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