TauFactor公司 3份文件引用(2021–2023) 软件作者: S.J.Cooper、A.Bertei、P.R.Shearing、J.A.Kilner、N.P.Brandon 相关软件: 彪马;孔隙比;DandeLiion… 主要字段: 偏微分方程(35-XX);计算机科学(68-XX);变形固体力学(74-XX)…
PyCOMPS公司 3份文件引用(2021年至2022年) 软件作者: E.Tejedor、Y.Becerra、G.Alomar、A.Queralt、R.M.Badia、J.Torres、T.Cortes和J.Labarta 相关软件: 服务S;达克;分析… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)
Rely公司 5份文件引用(2018–2022) 软件作者: M.Carbin、S.Misailovic、M.Rinard 相关软件: 胡迪尼;APL;VeriFast… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
测试NG 2份文件引用(2009-2012年) 软件作者: 塞德里克·比斯特,哈尼·苏莱曼 相关软件: SpecExplorer;N模型;UniTESK… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
玫瑰红 3份文件引用(2017–2021) 软件作者: Triguero,I.、del Río,S.、López,V.、Bacardit,J.、Benítez,J.和Herrera,F。 相关软件: 打击;Apache Spark;ACO采样… 主要字段: 统计学(62-XX);计算机科学(68-XX)
Tcmalloc公司 2份文件引用(2016–2019) 软件作者: S.Ghemawat、P.Menage 相关软件: SoPlex公司;PHCpack;DEMiC… 主要字段: 数值分析(65-XX)
石榴 1份文件引用(2023) 软件作者: 雅各布·施雷伯 相关软件: MNIST;混合工具;安德森… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)
维斯帕克 2份文件引用(2016–2019) 软件作者: Choi,Woohyuk;洪素敏;郑元基 相关软件: 火花;Apache Spark;图形X… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
GiViP(GiViP) 在0个文档中引用 软件作者: 阿莱西奥·阿利奥;沃尔特·迪迪莫(Walter Didimo);朱塞佩·利奥塔;法布里奇奥·蒙泰基亚尼 相关软件: ThermalPlot;HAMA;嫁接… 主要字段: 计算机科学(68-XX)
图解法 1份文件引用(2022) 软件作者: Capota,M.,Hegeman,T.,Iosup,A.,Prat-Pérez,A.,Erling,O.,Boncz,P.A 相关软件: SympleGraph;美人鱼;PathGraph… 主要字段: 计算机科学(68-XX)
GraphBIG(图形大) 1份文件引用(2018年) 软件作者: Nai L、Xia Y、Tanase IG、Kimy H、Lin CY 相关软件: PAPI;溅射-2;UMDES公司 主要字段: 系统论;控制(93-XX)
HC查看器 1份文件引用(2017年) 软件作者: 奥尔加·A·斯塔鲁诺娃。;鲁德涅夫,谢尔盖·G。;弗拉基米尔·斯塔罗杜波夫一世。 相关软件: R-Geo;传单;传单… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
MISA公司++ 在0个文档中引用 软件作者: 鲁曼·格斯特;安娜·梅迪尤基纳(Anna Medyukhina);马克·蒂洛·菲格 相关软件: ImgLib2;scikit-image;蛇形… 主要字段: –
净优先权 1份文件引用(2019) 软件作者: 费比安·施密奇;杰克·柯伊伯;冈特·默德斯(Gunter Merdes);尼科·比伦文克尔 相关软件: PRMLT;gespeR;ToppGene套件… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)