计算复杂根 swMATH ID: 32198 软件作者: 李文达(Wenda Li) 描述: 计算复数根的数量。基于通过余数序列计算柯西指数,此条目提供了一个有效的程序来计算矩形框或半平面内多项式的复数根(具有多重性)的数量。该条目的潜在应用包括认证的复数根隔离(多项式的)和测试Routh-Hurwitz稳定性准则(即检查某些特征多项式的所有根是否具有负实部)。 主页: https://www.isa-afp.org/entries/Count_Complex_Roots.html 依赖项: 伊莎贝尔 相关软件: 存档正式校对;HOL公司;伊莎贝尔/HOL;伊莎贝尔;线性递归;贝列坎·扎森豪斯;举起;换乘;CeTA公司;绕组_编号_数值;Sturm-Tarski定理;米扎尔;Coq公司 引用于: 2文件 被5位作者引用 1 Joosten,Sebastian J.C。 1 李文达 1 劳伦斯·查尔斯·保尔森 1 雷内·蒂曼 1 Akihisa山田 连载1篇 2 自动推理杂志 在5个字段中引用 2 计算机科学(68至XX) 1 数论(11-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 复变量的函数(30年XX月) 按年份列出的引文