rootsur.lib公司 swMATH ID: 10984 软件作者: 托比斯,E。 描述: 卢瑟·利布。用于计算一元多项式实根数的奇异3-1-6库。通过几种不同的方法,即笛卡尔符号规则、布丹-福里埃定理、Sturm序列和Sturm-Habicht序列,对一元多项式实根的个数进行定界和计数的例程。前两个函数给出了根数的界限。另外两个计算多项式的实际根数。有几个包装函数,用于简化上述定理和一些函数的应用,以确定给定多项式是否为单变量。参考文献:Basu,Pollack,Roy,“实代数几何中的算法”,Springer,2003年。 主页: http://www.singular.uni-kl.de/Manual/4-0-0/sing_1833.htm 依赖项: 单一 相关软件: 单一;真实分类.lib;根隔离.lib;解决方案库;classify2.lib类;NAG4M2系列;alpha认证;PHC包;麦考利2;间隙;分类.lib;重新分类 引用于: 3文件 5位作者引用 2 玛格达琳·S·马莱斯。 2 安德烈亚斯·斯坦帕 1 扬科·伯姆 1 亚伯拉罕·马丁·德尔·坎波 1 弗兰克·索蒂尔 连载1篇 2 符号计算杂志 在1个字段中引用 三 代数几何(14-XX) 按年份列出的引文