深度实验室 引用于62份文件（2018年至2024年） 软件作者： Liang-Chieh Chen、George Papandreou、Iasonas Kokkinos、Kevin Murphy、Alan L.Yuille 相关软件： ImageNet；U-Net；SegNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VerCors公司 12份文件引用(2014–2023) 软件作者： 阿米吉，阿夫申；斯特凡·布洛姆；Saeed Darabi；赫斯曼（Marieke Huisman）；沃伊切赫·莫斯托夫斯基；扎哈里耶娃·斯托亚诺夫斯基，玛丽娜 相关软件： 蝰蛇；布吉；Dafny… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
一个最优系统 5份文件引用(2017–2023) 软件作者： 张琳；韩忠；陈勇 相关软件： ONEOptimal；枫树；SymboLie… 主要字段： 非结合环与代数（17-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
卢西弗 4份文件引用（2010年至2022年） 软件作者： 斯特凡·迪特迈尔（Stefan Dittmaier）、马库斯·罗斯（Markus Roth） 相关软件： FormCalc；FeynArts；表格… 主要字段： 数值分析（65-XX）；量子理论（81-XX）
PPF-折叠网 3份文件引用(2019–2023) 软件作者： Haowen Deng、Tolga Birdal、Slobodan Ilic 相关软件： PointNet；三维匹配；PPF网… 主要字段： 近似和展开（41-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
MXPFIT公司 2份文件引用(2018–2019) 软件作者： H.池野浩 相关软件： JDQZ；特征值；JDQR… 主要字段： 实函数（26-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
锚网 1份文件引用(2022) 软件作者： David Novotny、Diane Larrus、Andrea Vedaldi 相关软件： 布里斯克；效率检测；面2面… 主要字段： 计算机科学（68-XX）
!自由贸易区 1份文件引用(2020) 软件作者： Vanderdonckt，J.、Roselli，P.、Pérez-Medina，J.L。 相关软件： – 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）；计算机科学（68-XX）