NVAE公司 7份文件引用(2022–2023) 软件作者： Arash Vahdat，Jan Kautz公司 相关软件： 亚当；ImageNet；FEniCS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
精灵 2份文件引用(2018–2022) 软件作者： 田远东、龚曲成、尚文玲、吴宇欣、C·劳伦斯·齐特尼克 相关软件： OpenAI健身房；TensorFlow；MuJoCo… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）；生物学和其他自然科学（92-XX）
洛利普罗克 5份文件引用（2010年至2016年） 软件作者： Karl Mazurak；史蒂夫·兹丹塞维奇 相关软件： VeriML；雷卡姆；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoqMTU公司 4份文件引用(2013–2020) 软件作者： 布鲁诺·巴拉斯（Bruno Barras）、珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud）、皮埃尔·伊夫·斯特鲁布（Pierre-Yves Strub）、钱旺（Qian Wang） 相关软件： CoqMT；辅酶q；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AJIVE公司 引用于3份文件(2018–2021) 软件作者： 冯青；蒋美蕾；Hannig，Jan；马龙，J.S。 相关软件： JIVE；OpenFace；多视图… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
SUBSEXPL公司 引用于3份文件(2006–2011) 软件作者： F.L.C.de Moura。；阿亚拉·林科，M。；卡马雷丁，F。 相关软件： 自动化；OCaml；Emacs… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Acgh.样条线 在0个文档中引用 软件作者： 托马斯·W·菲茨杰拉德。；Lee D.Larcombe。；索莱纳Le Scouarnec；斯蒂芬·克莱顿（Stephen Clayton）；戴安娜，拉詹；奈杰尔·卡特。；理查德·雷登 相关软件： R（右） 主要字段： –