卡米瓦艾 13份文件引用(2003–2018) 软件作者： 埃克哈德·希策（Eckhard M.S.Hitzer）。 相关软件： CLUCalc；盖根；GABLE… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）；几何（51-XX）…
猫头鹰 13份文件引用(2018–2022) 软件作者： Křetínsk \345]，Jan；梅根多夫，托拜厄斯；所罗门·西克特 相关软件： SPOT；Strix公司；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
凯莱网 9份文件引用(2019–2023) 软件作者： 罗恩·列维、费德里科·蒙蒂、泽维尔·布列松、迈克尔·布朗斯坦 相关软件： STransE；DeepWalk；PyG… 主要字段： 组合数学（05-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
GEZEL公司 6篇文献引用（2002年至2018年） 软件作者： 迈克尔·汉森（Michael R.Hansen）。；Madsen，Jan；布莱克·怀德 相关软件： Uppaal；克罗诺斯；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
单足蹦跳 5份文件引用(2010–2019) 软件作者： Manuel Serrano、Erick Gallesio、Florian Loitsch 相关软件： 链接；用户/网络；哈斯克尔… 主要字段： 计算机科学（68-XX）
环（envlp） 3份文件引用(2016–2020) 软件作者： R.Dennis Cook、Zhihua Su、Yi Yang 相关软件： Matlab；MBoxtest；统计工具箱… 主要字段： 统计学（62-XX）
CAPA公司 2份文件引用（2018年-2023年） 软件作者： O.Reparaz、L.De Meyer、B.Bilgin、V.Arribas、S.Nikova、V.Nikov、N.Smart 相关软件： 卡坦；出席；Keras… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
几何图形资源管理器 1份文件引用(2017) 软件作者： 迈克尔·赫维德斯滕 相关软件： OpenGL（OpenGL） 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；凸几何和离散几何（52-XX）