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）