渠流 88篇文献引用(2008–2023) 软件作者： J.F.吉布森 相关软件： Matlab；FFTW；piDMD… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
阿帕奇火花 74份文件引用(2015–2023) 软件作者： apache.org网站 相关软件： MLlib；MapReduce；Hadoop… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
交通 8份文件引用（2015年至2022年） 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简化… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
空标题 引用于3份文件(2017–2022) 软件作者： Christopher R.Aberger、Susan Tu、Kunle Olukotun、Christophers Ré 相关软件： HyperBench；利格拉；图形X… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
普赛克 5份文件引用(2013–2020) 软件作者： 圣菲省格拉汉·伦格兰德 相关软件： 伊莎贝尔；直觉；ILTP… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
威斯特利亚 4份文件引用(2016–2023) 软件作者： 拉斯托吉，A.，哈默，M.A.，希克斯，M。 相关软件： JustGarble公司；HyCC；分享者… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
斯马卡 1份文件引用(2017) 软件作者： 阿明·比尔（Armin Biere）；Jens Knoop；劳拉·科夫亚茨（Laura Kov'acs）；雅各布兹维奇梅尔 相关软件： r-TuBound；STP；OTAWA… 主要字段： 计算机科学（68-XX）
金融情报局 在0个文档中引用 软件作者： Netti，A.，Kiziltan，Z.，Babaoglu，O.，Sêrbu，A.，Bartolini，A.，Borghesi，A 相关软件： 命运；FlipIt；失败前… 主要字段： ——