隔离 237篇文献引用(1999–2024) 软件作者： Fabrice的Rouillier；保罗·齐默尔曼 相关软件： 克罗内克；FGb；枫树… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
MPFI公司 47篇文献引用(1979–2023) 软件作者： Nathalie Revol；法布里斯·鲁利耶 相关软件： MPFR；C-XSC 2.0；隔离… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
液化石油气 16篇文献引用(2009–2021) 软件作者： J.-S.Cheng、X.S.Gao、J.Li 相关软件： 隔离；隔离；CGAL… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；复变量函数（30-XX）…
新Dsc 15篇文献引用(2016–2023) 软件作者： 亚历山大·科贝尔（Alexander Kobel）；Fabrice的Rouillier；迈克尔·萨格拉洛夫 相关软件： 隔离；集群；仲裁… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；复变量函数（30-XX）…
SqFreeEVAL公司 在11份文件中引用(2012–2023) 软件作者： 迈克尔·A·伯尔（Michael A.Burr）。；费利克斯·克莱默 相关软件： 隔离；na20；ANewDsc… 主要字段： 代数几何（14-XX）；实函数（26-XX）；复变量函数（30-XX）…
SLV公司 2份文件引用(2016–2019) 软件作者： 伊莱亚斯·齐加里达斯 相关软件： 枫树；ANewDsc；微小的… 主要字段： 场论与多项式（12-XX）；数值分析（65-XX）；计算机科学（68-XX）
计算复杂根 2份文件引用(2020) 软件作者： 李文达（Wenda Li） 相关软件： 存档正式证据；HOL；Isabelle/HOL… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…