对数cf swMATH ID: 6355 软件作者： 戴丽云、夏碧灿 描述： logcf是一个计算一元多项式的精确实根隔离的工具。该算法在logcf文件中进行了描述：一个有效的实际根隔离工具。使用的算法基于连续派系（文森特定理）。注意：在linux平台下，gcc和g++需要4.6或更高版本。logcf使用计算机代数系统Singular来简化多项式，并使用GMP库来进行任意精度的运算（这些都包含在Zip包中）。 主页： https://arxiv.org/abs/1209.3555 编程语言： C类++ 关键词： 实际根隔离;文森特定理 相关软件： 数学软件;国际实验室;隔离;gmp公司;特征解;法线.lib;C-XSC（C-XSC）;单一;SLV公司;新Dsc;枫树;钠20;零点 引用于： 2文件 标准条款 2出版物描述软件，包括1出版物以zbMATH为单位 年份 Logcf：用于真正的根隔离的有效工具。 Zbl 1494.68310号戴丽云;范哲;夏碧灿;张汉文 2019 logcf：一种有效的实际根隔离工具arXiv公司戴丽云、夏碧灿 2012 全部的 前5名6位作者引用 1 戴丽云 1 范哲 1 迈克尔·科伯 1 迈克尔·萨格拉洛夫 1 夏碧灿 1 张汉文 2篇连载文章中引用 1 计算与应用数学杂志 1 系统科学与复杂性杂志 在3个字段中引用 1 场论和多项式（12-XX） 1 数值分析（65-XX） 1 计算机科学（68至XX） 按年份列出的引文