阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： 辅酶q；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
NINJA公司 30篇文献引用(2000–2019) 软件作者： 何塞·莫雷拉（JoséE.Moreira）。；塞缪尔·米奇夫（Samuel P.Midkiff）。；马尼什省古普塔；吴鹏；乔治·阿尔马西（George Almasi）；佩德罗·阿蒂加斯 相关软件： TNT；爪哇格兰德；忍者… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
迪纳摩 19份文件引用(2011–2023) 软件作者： 迪坎迪亚，G。；哈斯托伦，D。；詹帕尼，M。；Kakulapati，G。；拉克希曼，A。；皮尔钦，A。；Sivasubramanian，S。；Vosshall，P。；沃格尔，W。 相关软件： 卡桑德拉；和弦；Bigtable… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
聪明人 10篇文献引用(2020–2023) 软件作者： N.Papernot、I.Goodfellow、R.Shetsley、R.Feinman、P.McDaniel 相关软件： CIFAR；深度愚人；PyTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
内容CVS 5份文件引用(2014–2019) 软件作者： E.Jiménez-Ruiz、B.Cuenca Grau、I.Horrocks、R.Berlanga 相关软件： CEX；Ontop；MWB… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
水滴预言家 1份文件引用(2011) 软件作者： 尼古拉，博格丹；加布里埃尔·安东尼乌；卢克·布热（Luc Bougé）；莫伊兹，戴安娜；亚历山德拉·卡彭·阿马里 相关软件： 开放星云；卡桑德拉；亚马逊EC2… 主要字段： 计算机科学（68-XX）
SWISH数据实验室 4份文件引用(2019–2022) 软件作者： Bogaard，T.、Wielemaker，J.、Hollink，L.、Van Ossenbuggen，J。 相关软件： 克林戈；WASP；ProbLog… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
化学需氧量 3份文件引用(2012–2019) 软件作者： 鲍里斯·科涅夫、米歇尔·路德维希、弗兰克·沃尔特 相关软件： 内容CVS；MASTRO公司；Ontop… 主要字段： 计算机科学（68-XX）
超级胶水 3份文件引用(2015–2022) 软件作者： 马丁·蒂勒尼乌斯 相关软件： OmpSs；StarPU；Hadoop… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
BIDS应用程序 在0个文档中引用 软件作者： Gorgolewski，K.J.、Alfaro-Almagro，F.、Auer，T.、Bellec，P.等人。。 相关软件： 蟒蛇；PyBIDS；DataLad… 主要字段： –
萨摩亚 2份文件引用(2015–2022) 软件作者： Wojciechowski，P.T.，Rütti，O.，Schiper，A。 相关软件： AtomCaml；柔道STM 主要字段： 计算机科学（68-XX）
G福特 在0个文档中引用 软件作者： Copeland T、Mas R、McCullagh K、Perdue T、Smet G、Spisser R 相关软件： R；FME；ReacTran；…（R）… 主要字段： –
MLCask公司 1份文件引用(2023) 软件作者： 罗兆静、赛和阳、张美慧、郑开平、朱磊、陈刚、范飞毅、钱琳、李渊、吴本钦 相关软件： GitHub；猫头鹰；MLDev公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
VCWC公司 在0个文档中引用 软件作者： 格恩瑟·查瓦特；乔瓦姆巴蒂斯塔·伊安尼；托马斯·克伦瓦尔纳（Thomas Krennwallner）；马丁·克朗格；安德烈亚斯·普凡德勒；克里斯托夫·雷德尔；马丁·施温格勒；斯彭迪埃，劳拉·卡塔琳娜；约翰·彼得·沃纳（Johannes Peter Wallner）；肖国辉 相关软件： TPTP；芦笋；Runsolver… 主要字段： 计算机科学（68-XX）
OWLDiff公司 在0个文档中引用 软件作者： 彼得·克雷曼（Petr Kremen）、马雷克·斯米德（Marek Smid）、兹登克·库巴（Zdenek Kouba） 相关软件： – 主要字段： –