×

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

叫做古迪辛

56篇文献引用(2014–2024)
软件作者: INRIA公司;克莱门特·玛丽亚;Jean-Daniel Boissonnat;马克·格利塞(Marc Glisse);玛丽埃特·伊维内克
相关软件: 裂土器;PHAT;酒神…
主要字段: 代数拓扑(55-XX);概率论与随机过程(60-XX);统计学(62-XX)…

2D排列

37篇文献引用(2005–2020)
软件作者: R.Wein、E.Fogel、B.Zukerman、D.Halperin
相关软件: CGAL;三维球面核;EXACUS…
主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-XX)…

中国科学院

22篇文献引用(1984–2020)
软件作者: Neubüser,J。;Pahlings,H。;普莱斯肯,W。
相关软件: 间隙;ATLAS集团代表;岩浆…
主要字段: 数论(11-XX);场论与多项式(12-XX);群论与推广(20-XX)…

FAdo公司

19份文件引用(2010–2023)
软件作者: 安德烈·阿尔梅达;马尔科·阿尔梅达;何塞·阿尔维斯;内尔马·莫雷拉;罗杰里奥·赖斯
相关软件: 古伊塔;蟒蛇;Vaucanson…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

雨林

8份文件引用(2002–2022)
软件作者: Gehrke J.、Ramakrishnan R.和Ganti V。
相关软件: C4.5;SLIQ;SPRINT…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

CAESAR_解决

11份文件引用(2006–2022)
软件作者: Radu Mateescu公司
相关软件: CADP;到期未结;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

ABC4EFT公司

在14份文件中引用(2012–2023)
软件作者: 李浩林;任哲;肖明磊;于江浩;郑宇辉
相关软件: Z;REPSN;瞄准@形状; …
主要字段: 数论(11-XX);代数几何(14-XX);偏微分方程(35-XX)…

GUItar公司

11份文件引用(2010–2023)
软件作者: 安德烈·阿尔梅达;马尔科·阿尔梅达;何塞·阿尔维斯;内尔马·莫雷拉;罗杰里奥·里斯
相关软件: FAdo;蟒蛇;Vaucanson…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

泰科

引用于9份文件(2016–2020)
软件作者: E.Cyr;J.沙迪德;R.图米纳罗
相关软件: 特里利诺斯;普拉亚;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

克莱纳代数

引用于9份文件(2015–2022)
软件作者: A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。
相关软件: 存档正式证据;Isabelle/HOL;大锤…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…

特克顿

5份文件引用(1994–2003)
软件作者: 卡普尔,D。;聂,X。;D.R.穆瑟。
相关软件: RRL;NQTHM;肯定…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

TituRel公司

8份文件引用(2007–2015)
软件作者: 冈瑟·施密特
相关软件: RelView;哈斯克尔;算法97…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

希格拉

6篇文献引用(2020–2023)
软件作者: B.佩雷特;G.Chierchia;J.Cousty;圣吉马朗斯;Y.Kenmochi;L.纳杰曼
相关软件: PyTorch;亚当;拓扑工具包…
主要字段: 代数拓扑(55-XX);流形和细胞复合体(57-XX);计算机科学(68-XX)…

通用电气公司

2份文件引用(2009–2014)
软件作者: 范德比尔特大学
相关软件: 蟒蛇;MetaEdit+;AToM3…
主要字段: 统计学(62-XX);计算机科学(68-XX)

深度(DeepGauge)

3份文件引用(2020–2021)
软件作者: 马磊(Lei Ma)、费利克斯(Felix Juefei-Xu)、张福源(Fuyuan Zhang)、孙继源(Jiyuan Sun)、薛敏慧(Minhui Xue)、李波(Bo Li)、陈春阳(Chunyang Chen)、苏婷(Ting Su)、李丽(Li Li
相关软件: DeepXlore;TensorFuzz;亚当…
主要字段: 统计学(62-XX);计算机科学(68-XX)

Lotrec方案

4份文件引用(2011–2015)
软件作者: 弗朗索瓦·施瓦岑特鲁伯
相关软件: LoTREC公司;SCIFF;PVS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

恩典

2份文件引用(2006–2013)
软件作者: G.Belanger、F.Boudjema、J.Fujimoto、T.Ishikawa、T.Kaneko、K.Kato、Y.Shimizu
相关软件: SLHALib;循环工具;窗体计算…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

BaRT公司

2份文件引用(1990–1995)
软件作者: 布克(Lashon B.Booker)。;纳文·霍塔;康妮·洛吉亚·拉姆西
相关软件:
主要字段: 计算机科学(68-XX)

迷你黄铜

1份文件引用(2018)
软件作者: 亚历山大·希恩多夫(Alexander Schiendorfer);亚历山大·纳普(Alexander Knapp);Gerrit Anders;沃尔夫冈·雷夫
相关软件: 微量锌;JuMP;古罗比…
主要字段: 运筹学、数学规划(90-XX)

项目管理框架

1份文件引用(2013)
软件作者: 戴恩·加勒特
相关软件: pCMALib;MOCell公司;CEC 05…
主要字段: 运筹学、数学规划(90-XX)

AlmafluidaNSP系统

1份文件引用(2023)
软件作者: 彼得罗·弗雷。;马里奥·特里安特
相关软件: 毕尔巴鄂结晶服务器;数学软件
主要字段: 偏微分方程(35-XX);全局分析,流形分析(58-XX);计算机科学(68-XX)…

卡利布拉尔

在0个文档中引用
软件作者: 里卡多·奥利维罗斯·拉莫斯
相关软件: R;cmaes;RNetLogo…
主要字段:

爪哇岛

1份文件引用(2002)
软件作者: 卡尔德罗尼,S。;苏利,J.-C。
相关软件:
主要字段: 计算机科学(68-XX)

JVerge公司

在0个文档中引用
软件作者: 沙发J
相关软件: 贾夫拉
主要字段:

MaRDiGraS公司

1份文件引用(2013)
软件作者: 卡洛·贝莱蒂尼;卡米利,马蒂奥;洛伦佐·卡普拉;马蒂亚·蒙加
相关软件: 旋风;PIPE2;Hadoop…
主要字段: 计算机科学(68-XX)

MODESTO公司

1份文件引用(2016)
软件作者: 西德·蒙托亚,M。;埃尔南德斯,S。;Nieto,F。;King,J.P.C。;L·孔。
相关软件: Matlab公司
主要字段: 可变形固体力学(74-XX)

莫奈

1份文件引用(2022)
软件作者: 斋藤、阿尤木;雷纳尔德·阿弗尔德
相关软件: 层次建设者;FreeSpec;OCaml…
主要字段: 计算机科学(68-XX)

VoronoiDelaunay.jl公司

在0个文档中引用
软件作者: VoronoiDelaunay.jl贡献者
相关软件: sf;特斯松;布莱格拉斯…
主要字段:

筛选结果依据…