×

找到12个软件包(结果1-12)

隔离

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)…

对数cf

2份文件引用(2015–2019)
软件作者: 戴丽云、夏碧灿
相关软件: 数学;国际实验室;隔离…
主要字段: 场论与多项式(12-XX);数值分析(65-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)

hsSim(高速模拟信号)

在0个文档中引用
软件作者: J.P.Craveiro、R.O.Silveira、J.Rufino
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段