NoMoRe公司 22篇文献引用(2001–2012) 软件作者： 愤怒，克里斯蒂安；Kathrin Konczak；托马斯·林奇 相关软件： 亚萨特；C模型；平滑… 主要字段： 一般性和全局性主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）
FlexRiLoG公司 5份文件引用(2020–2023) 软件作者： 乔治·格拉塞格（Georg Grasegger）、简·莱杰斯克（Jan Legersk） 相关软件： 拉曼图；SageMath；github 主要字段： 组合数学（05-XX）；几何（51-XX）；凸和离散几何（52-XX）…
着色变压器 1份文件引用(2022) 软件作者： Manoj Kumar、Dirk Weissenborn、Nal Kalchbrenner 相关软件： ImageNet；TransGAN；德布鲁根… 主要字段： 计算机科学（68-XX）
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；佩德罗·洛佩兹·加西亚；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
青蛙Sim 1份文件引用(2017) 软件作者： Hernández，H.，Blum，C。 相关软件： 青蛙COL；NetLogo；DIMACS公司 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）