投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
多分析器 9份文件引用(2016–2023) 软件作者： 因戈-伯格 相关软件： 特里利诺斯；交易.ii；SLEPc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
gccX前端 1份文件引用(2007) 软件作者： M.Hennessy、B.A.Malloy、J.F.Power 相关软件： muJava；TUAnalyzer；XOgastan… 主要字段： 计算机科学（68-XX）
斯坦扎（Stanza） 1份文件引用(2022) 软件作者： 彭琪、张玉豪、张玉辉、杰森·博尔顿、克里斯托弗·曼宁 相关软件： TED；SWI-预测；TextRank… 主要字段： 计算机科学（68-XX）
旗舰版 2份文件引用(2015–2017) 软件作者： Christ，J.、Dietsch，D.、Ermis，E.、Heizmann，M.、Hoenicke，J.，Langenfeld，V.、Leike，J..、Musa，B.、Nutz，A.、Schilling，C。 相关软件： CPA检查员；SMT互联网；OpenSMT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
包壳，包壳 1份文件引用(2018) 软件作者： V.Vassilev、V.Ilieva、L.Moneta、A.Penev、M.Vassiliev 相关软件： MuPAD；Matlab；特征… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
Highdicom公司 在0个文档中引用 软件作者： 克里斯托弗·布里奇（Christopher P.Bridge）、克里斯·戈尔曼（Chris Gorman）、史蒂文·皮埃尔（Steven Pieper）、肖恩·多伊尔（Sean W.Doyle）、约琴·K·伦内兹（Jochen K.Lennerz）、贾亚什雷·卡尔帕西·克莱默（Jayashre Kalpathy-Cramer）、 相关软件： CUDA；cuDNN；dicom3tools… 主要字段： –
XNMT公司 在0个文档中引用 软件作者： Graham Neubig、Matthias Sperber、Xinyi Wang、Matthieu Felix、Austin Matthews、Sarguna Padmanabhan、Ye Qi、Devendra Singh Sachan、Philip Arthur、Pierre Godard、John Hewitt、Rachid Riad、Liming Wang 相关软件： OpenNMT；GluonNLP；线虫… 主要字段： –