Entropy-SGD公司 32篇文献引用(2018–2024) 软件作者： Pratik Chaudhari、Anna Choromanska、Stefano Soatto、Yann LeCun、Carlo Baldassi、Christian Borgs、Jennifer Chayes、Levent Sagun、Riccardo Zecchina 相关软件： AlexNet；ImageNet；亚当… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
基础知识 8份文件引用(2010–2022) 软件作者： 雷吉斯·布朗；托马斯·亨辛格。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： AProVE；速度；TiML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SumProduction公司 10篇文献引用(2016–2023) 软件作者： 卡斯滕·施耐德 相关软件： EvaluateMultiSums；谐波和；西格玛… 主要字段： 场论与多项式（12-XX）；几个复变量与解析空间（32-XX）；特殊功能（33-XX）…
夏季时间 9份文件引用(2016–2023) 软件作者： Lee，Roman N。；基里尔·明古洛夫。 相关软件： LiteRed；形式；天秤座… 主要字段： 数值分析（65-XX）；量子理论（81-XX）
阿里加托.jl 7份文件引用(2018–2023) 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；马克西米利安·亚罗斯切克；劳拉·科瓦奇 相关软件： 鳄鱼；SymPy；z3… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；计算机科学（68-XX）
PLuTo公司 5份文件引用(2012–2022) 软件作者： Bondhugula，U.、Hartono，A.、Ramanujam，J.、Sadayappan，P。 相关软件： GitHub；CompCertTSO公司；弗拉梅尔… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
TRACO公司 3份文件引用(2016–2023) 软件作者： 马雷克·帕尔科夫斯基（Marek Palkowski）、托马斯·克里梅克（Tomasz Klimek）、沃德齐米尔兹·比莱基（Wlodzimierz Bielecki） 相关软件： isl；GitHub；Cetus… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
DynTile公司 4份文件引用(2011–2018) 软件作者： Hartono，A。；Baskaran，M。；Ramanujam，J。；萨达亚潘，P。 相关软件： PLuTo；精密路径指示器；PHiPAC… 主要字段： 常微分方程（34-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
蝗虫 1份文件引用(2017) 软件作者： 马克·布罗克施米特（Marc Brockschmidt）；陈玉新；Kohli，Pushmeet；克利须那，悉达多；丹尼尔·塔洛 相关软件： 蚱蜢；铁人舰队；SeLoger… 主要字段： 计算机科学（68-XX）