叫做古迪辛 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)…
深度(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)
迷你黄铜 1份文件引用(2018) 软件作者: 亚历山大·希恩多夫(Alexander Schiendorfer);亚历山大·纳普(Alexander Knapp);Gerrit Anders;沃尔夫冈·雷夫 相关软件: 微量锌;JuMP;古罗比… 主要字段: 运筹学、数学规划(90-XX)
AlmafluidaNSP系统 1份文件引用(2023) 软件作者: 彼得罗·弗雷。;马里奥·特里安特 相关软件: 毕尔巴鄂结晶服务器;数学软件 主要字段: 偏微分方程(35-XX);全局分析,流形分析(58-XX);计算机科学(68-XX)…
MaRDiGraS公司 1份文件引用(2013) 软件作者: 卡洛·贝莱蒂尼;卡米利,马蒂奥;洛伦佐·卡普拉;马蒂亚·蒙加 相关软件: 旋风;PIPE2;Hadoop… 主要字段: 计算机科学(68-XX)
MODESTO公司 1份文件引用(2016) 软件作者: 西德·蒙托亚,M。;埃尔南德斯,S。;Nieto,F。;King,J.P.C。;L·孔。 相关软件: Matlab公司 主要字段: 可变形固体力学(74-XX)