WSAT公司 29篇文献引用(2004–2019) 软件作者: 傅湘;布尔坦、特夫菲克;苏建文 相关软件: BPEL2PN;CADP;旋转… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
效率 30篇文献引用(2013–2023) 软件作者: 安德烈·鲍尔(Andrej Bauer);普雷特纳,马蒂亚 相关软件: 科卡;github;ML… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
铁人舰队 16篇文献引用(2017–2023) 软件作者: Hawblitzel,C.公司。;豪厄尔,J。;卡普里特索斯,M。;Lorch,J.R。;巴诺,B。;罗伯茨,M.L。;塞蒂,S.T.V。;齐尔,B 相关软件: z3;达夫尼;常春藤… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RAISE(升起) 15篇文献引用(1993–2021) 软件作者: 克里斯·乔治 相关软件: 壁画;Z;PVS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
GENIA语料库 引用于2份文件(2008年-2014年) 软件作者: Kim,J.D。;Ohta,T。;塔泰西,Y。;津井,J。 相关软件: 基因标签;OpenDMAP;ABNER… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
PlanMine公司 8份文件引用(2000–2007) 软件作者: 穆罕默德·扎基。;Neal Lesh;Mitsunori小原 相关软件: 铲刀;BIDE;CloseGraph… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
REDD(红色) 5份文件引用(2013–2022) 软件作者: 科尔特,J.Z。;约翰逊,M.J。 相关软件: 皮奥莫;古罗比;Valgrind… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
辛巴 4份文件引用(2001年-2010年) 软件作者: 塔尔贾的Systä;Kai Koskimies;穆勒,豪西 相关软件: 里吉;代码爬虫;SkuAVisit… 主要字段: 计算机科学(68-XX)
GRC 3.2 5份文件引用(1996–2013) 软件作者: 瓦迪姆·V·兹特尼科夫 相关软件: 减少;EXCALC公司 主要字段: 微分几何(53-XX);量子理论(81-XX);相对论和引力理论(83-XX)
SPL征服者 3份文件引用(2016–2021) 软件作者: Siegmund,N.、Rosenmüller,M.、Kuhlemann,M.,Kästner,C.、Apel,S.、Saake,G。 相关软件: Scalasca;AlgoWiki;TAU… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
i工作台 引用于2份文件(2021年) 软件作者: P.C.Arocena、B.Glavic、R.Ciucanu、R.J.Miller 相关软件: LUBM;SPARQL;HyperBench… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
拉萨 引用于2份文件(2003–2004) 软件作者: Glémet,E。;J.J.科达尼。 相关软件: 通用电气;集群C;爆炸… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
RAISE(升起) 1份文件引用(2021年) 软件作者: D.-T.Dang-Nguyen、C.Pasquini、V.Conotter、G.Boato 相关软件: 启发GAN;U-Net;斯塔根… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
威诺格兰德 引用于2份文件(2021–2023) 软件作者: Keisuke Sakaguchi、Ronan Le Bras、Chandra Bhagavatula、Yejin Choi 相关软件: Tensor2传感器;ChatGPT;NLTK… 主要字段: 计算机科学(68-XX)
面部法医学 引用于2份文件(2021–2022) 软件作者: 安德烈亚斯·罗斯勒(Andreas Rössler)、大卫德·科佐利诺(Davide Cozzolino)、路易莎·威尔多利瓦(Luisa Verdoliva)、克里斯蒂安·里斯(Christian Riess)、朱斯特斯·蒂斯(Justus Thies)、马蒂亚斯·涅 相关软件: 赛莱布DF;MesoNet;像素x像素… 主要字段: 计算机科学(68-XX)
SybilRadar公司 引用于2份文件(2019–2021) 软件作者: 穆兰巴,D。;雷,I。;雷,我。 相关软件: gsbm;MissBM;图形库… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
谁也是 引用于2份文件(2021–2022) 软件作者: 亚历杭德罗·海维亚;伊拉纳Mergudich Thal 相关软件: 木卫四 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
布罗特利 1份文件引用(2020) 软件作者: Alakuijala,J。;Farruggia,A。;费拉吉纳,P。;Kliuchnikov,E。;奥布里克·R。;Z.萨巴德卡。;范德文,L。 相关软件: github;Z标准;壁画… 主要字段: 计算机科学(68-XX)
IDeR 1份文件引用(2021年) 软件作者: 徐,L。;赵,D。;Yan,Y。;Kwong,S。;陈,J。;段·L·Y。 相关软件: 泛网(PanNet) 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
MakeMusic(制作音乐) 1份文件引用(2016) 软件作者: MakeMusic公司 相关软件: 西格玛GTTM;音乐XML;FATTA… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)