Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Polyglot公司 引用于7份文件(2003–2015) 软件作者： 纳撒尼尔·奈斯特罗姆；迈克尔·R·克拉克森。；安德鲁·迈尔斯（Andrew C.Myers）。 相关软件： JastAdd；ANTLR；赋格… 主要字段： 计算机科学（68-XX）
镰刀 引用于7份文件(2010–2015) 软件作者： 丹尼尔·彭斯坦、凯文·奎因、安德鲁·D·马丁 相关软件： 锡 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
LMS公司 5份文件引用(2010–2022) 软件作者： 蒂亚克·隆普夫（Tiark Rompf），马丁·奥德斯基（Martin Odersky） 相关软件： 科卡；博客；TMB… 主要字段： 计算机科学（68-XX）
斯坦·数学 5份文件引用(2018–2020) 软件作者： Bob Carpenter、Matthew D.Hoffman、Marcus Brubaker、Daniel Lee、Peter Li、Michael Betancourt 相关软件： 斯坦；锥体；ADOL-C… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
护卫舰 引用于3份文件(2017–2023) 软件作者： 穆德，B.，古普塔，D.，卡特，H.，巴特勒，K.R.B.，特雷纳，P。 相关软件： JustGarble；ObliVM；ABY… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TS公司# 2份文件引用(2014–2017) 软件作者： 尼基尔·斯瓦米；Fornet，塞德里克；拉斯托吉（Aseem Rastogi）；卡尔蒂基扬·巴尔干；Chen，Juan；支柱，Pierre-Yves；加文·比尔曼 相关软件： JavaScript；ProVerify；网址（Ur/Web）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Q*证书 1份文件引用(2018) 软件作者： 奥尔巴赫，J.S.、赫泽尔，M.、曼德尔，L.、辛纳，A.、西蒙，J。 相关软件： 序列；HoTTSQL；SQL证书… 主要字段： 计算机科学（68-XX）