谷物 102份文件引用(2009–2023) 软件作者: Hell,M.,Johansson,T.,Meier,W。 相关软件: 氚;eSTREAM;米奇… 主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…
生物网格 引用于33份文件(2008–2023) 软件作者: C.Stark、B.Breitkreutz、T.Reguly、L.Boucher、A.Breitkreutz、M.Tyers 相关软件: KEGG;完整的;细胞景观… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
GHC公司 36篇文献引用(1986–2014) 软件作者: Kazunori上田 相关软件: PARLOG;基马;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
ZRAM公司 41篇文献引用(1997–2020) 软件作者: 阿德里安·布伦格尔(Adrian Brüngger);安布罗斯·马泽塔;福田、科美;Jurg Nievergelt公司 相关软件: QAPLIB;cdd;聚乙烯… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
洛拉 26篇文献引用(2000–2021) 软件作者: 卡斯滕·施密特(Karsten Schmidt);K·沃尔夫。 相关软件: 玛丽亚;Uppaal;BPEL2PN… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
跳跃 19份文件引用(2011–2022) 软件作者: 托马斯·伦利(Thomas Lumley);艾伦·米勒 相关软件: R;glmnet;最好的… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
皇家卫星 18篇文献引用(2008–2016) 软件作者: 结Pipatsrisawat;阿德南·达尔维什 相关软件: MiniSat;糠;PicoSAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
兔子 19份文件引用(2003–2023) 软件作者: Martin Boesgaard、Mette Vesterager、Thomas Pedersen、Jesper Christiansen、Ove Scavenius 相关软件: eSTREAM;索塞曼英国;谷物… 主要字段: 数论(11-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
晶格生成器 16篇文献引用(2015–2023) 软件作者: L'Ecuyer,P.,Munger,D。 相关软件: sobol.cc;Magic Point Shop;SSJ… 主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
索斯曼努克 在14份文件中引用(2008–2023) 软件作者: 冯秀涛;刘军;周兆村;吴传坤;冯登国 相关软件: 兔子;eSTREAM;雪… 主要字段: 差分方程和函数方程(39-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
梯度规范 在14份文件中引用(2021–2024) 软件作者: Zhao Chen、Vijay Badrinarayanan、Chen Yu Lee、Andrew Rabinovich 相关软件: 亚当;PINNsNTK;NSF网络… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
无间道 7份文件引用(2010–2018) 软件作者: Nawrocki EP、Kolbe DL、Eddy SR 相关软件: 法国复兴信贷银行;R;ClustalW… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…
Hadamard搜索 10篇文献引用(2006–2018) 软件作者: 维克托·阿尔瓦雷斯·索拉诺;何塞·安德烈斯·阿马里奥·桑帕洛;玛丽亚·多洛雷斯-加西亚夫人;佩德罗·雷亚·尤拉多 相关软件: 数学;Kenzo;间隙… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX)…
奥科蒂洛 10篇文献引用(2000–2016) 软件作者: Goldman,Deborah;Istrail,Sorin;朱塞佩·兰西亚;安东尼奥·皮科波尼;布莱恩·瓦伦茨 相关软件: – 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
混合MoGenD 6篇文献引用(2009–2019) 软件作者: 威尔逊·图西勒;伊丽莎白·加斯亚特 相关软件: 结构;R;mixsmsn… 主要字段: 凸和离散几何(52-XX);统计学(62-XX);生物学和其他自然科学(92-XX)
DIADEM(直径) 3份文件引用(2017–2022) 软件作者: Furche,T。;Gottlob,G。;格拉索,G。;郭,X。;Orsi,G。;夏尔哈特,C。;Wang,C。 相关软件: 数据日志;PriEsT;发电机… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
ADP_EM公司 1份文件引用(2016) 软件作者: JoséIgnacio Garzón、Julio Kovacs、Ruben Abagyan、Pablo Chacón 相关软件: 剂量;阿波罗;DBAli工具… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
加菲(Gaphyl) 2份文件引用(2001–2007) 软件作者: 克莱尔·贝茨,康登 相关软件: PHYLIP;PAUP*;快速脱氧核糖核酸ml 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
PFCorr公司 3份文件引用(2013–2021) 软件作者: Chandrajit巴贾杰;鲍尔,贝内迪克特;拉达克里什纳·贝塔达普拉;安捷·沃尔拉斯 相关软件: NFFT3;LORM;MTEX… 主要字段: 积分变换,运算微积分(44-XX);流形和细胞复合体(57-XX);统计学(62-XX)…
显式PRISMSymm 2份文件引用(2015) 软件作者: 帕特尔,里马;凯文·帕特尔(Kevin Patel);蒂伦·帕特尔 相关软件: 棱镜 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
最小有效值 1份文件引用(2009) 软件作者: Jewett,A.I。;黄,C.C。;铁蛋白,T.E。 相关软件: EzyPred公司;信号-3L;信号-CF… 主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX)
SWIFT银行代码 2份文件引用(2012–2015) 软件作者: G.D’Avenio M.Grigioni G.Orefici R.Creti(G.达维尼奥·M·格里吉奥尼·G·奥雷菲西·克雷蒂) 相关软件: 青少年;BLAT;MEME… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
TAGster(标签管理员) 1份文件引用(2010) 软件作者: 徐宗立;诺曼·L·卡普兰;杰克·泰勒 相关软件: 哈普洛维 主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
DryadOpt公司 1份文件引用(2015) 软件作者: Budiu,M.、Delling,D.、Werneck,R.F。 相关软件: JOSTLE;卡夫帕;苏格兰威士忌… 主要字段: 组合数学(05-XX);运筹学、数学规划(90-XX)
LOOPER(回路) 1份文件引用(2014) 软件作者: V.Z.Spassov,P.K.Flook,L.Yan 相关软件: 西拉默;BacSim;神经元… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
TuPAQ公司 1份文件引用(2020年) 软件作者: Evan R.Sparks、Amee Talwalkar、Michael J.Franklin、Michael I.Jordan、Tim Kraska 相关软件: 阿达德尔塔;HSL-VF05;EMNIST… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
OptiPharm公司 在0个文档中引用 软件作者: Puertas-Martín,S.、Redondo,J.L.、Ortigosa,P.M.、Pérez-Sánchez,H。 相关软件: – 主要字段: –