隔离 237篇文献引用(1999–2024) 软件作者: Fabrice Rouillier公司;保罗·齐默尔曼 相关软件: 克罗内克;FGb;枫叶… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-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)…
英国石油协会 10篇文献引用(2010–2023) 软件作者: Changbo Chen、Farnam Mansouri、Marc Moreno Maza、Ning Xie、Yuzhen Xie 相关软件: 岩浆;打火石;正则链… 主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…
SqFreeEVAL公司 11份文件引用(2012–2023) 软件作者: 迈克尔·A·伯尔(Michael A.Burr)。;费利克斯·克莱默 相关软件: 隔离;na20;ANewDsc… 主要字段: 代数几何(14-XX);实函数(26-XX);复变量函数(30-XX)…
圆柱代数分解 7份文件引用(2014–2022) 软件作者: 陈昌波;马克·莫雷诺·马扎 相关软件: 正则链;SMT-LIB;提奥里古鲁… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);代数几何(14-XX)…
REACH标准 4份文件引用(2013–2018) 软件作者: 徐明;朱家琦;李志斌 相关软件: iscas-Mc;z3;重新记录… 主要字段: 场论与多项式(12-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
SLV公司 2份文件引用(2016年至2019年) 软件作者: Elias齐加里达斯 相关软件: 枫树;ANewDsc;微小的… 主要字段: 场论与多项式(12-XX);数值分析(65-XX);计算机科学(68-XX)
计算复杂根 2份文件引用(2020年) 软件作者: 李文达(Wenda Li) 相关软件: 存档正式证据;HOL;Isabelle/HOL… 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
根隔离.lib 1份文件引用(2020年) 软件作者: Bendle,D.,Böhm,J.,Petroll,C。 相关软件: rootsur.lib;solve.lib;分类.lib… 主要字段: 代数几何(14-XX)