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类；纳4平方米；alpha认证；PHC包；麦考利2；间隙；分类.lib；重新分类 引用于： 3文件 5位作者引用 2 玛格达琳·S·马莱斯。 2 安德烈亚斯·斯坦帕 1 扬科·伯姆 1 亚伯拉罕·马丁·德尔·坎波 1 弗兰克·索蒂尔 连载1篇 2 符号计算杂志 在1个字段中引用 三 代数几何（14-XX） 按年份列出的引文