AMoRE公司 12份文件引用(1998–2010) 软件作者： O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件： 自动化；间隙；圣杯… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；计算机科学（68-XX）
LinAIG公司 7份文件引用(2011–2022) 软件作者： 沃纳·达姆；Dierks，Henning；斯蒂芬·迪什（Stefan Disch）；威廉·哈格曼；佛罗里达州Pigorsch；克里斯托夫·斯科尔；乌韦·沃尔德曼；鲍里斯·维茨 相关软件： z3；CUDD；SpaceEx… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PAL倾斜 引用于3份文件(2017–2022) 软件作者： 西比尔·赫斯；Katharina Morik；尼科·皮亚特科夫斯基 相关软件： 克里姆；StreamKrimp；MDL4BMF… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…