FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
PAGAI公司 10篇文献引用(2014–2022) 软件作者： 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊 相关软件： 停机坪；PPL；天冬氨酸… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
解释 8份文件引用(1997–2021) 软件作者： 加尔·拉里尔、马蒂亚斯·阿古德、贝特朗·珍妮特 相关软件： 停机坪；ASTREE公司；YOGI… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HyLAA公司 6篇文献引用（2017年-2023年） 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： CORA；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
ALICe公司 2份文件引用(2014–2018) 软件作者： 费维安·梅森纽夫（Vivien Maisonneuve）、奥利维尔·赫曼特（Olivier Hermant）、弗朗索瓦·伊里戈因（François Irigoin） 相关软件： ASTREE公司；烟尘；PPL… 主要字段： 计算机科学（68-XX）
SimGridMC公司 2份文件引用(2018–2019) 软件作者： Anh Pham；蒂埃里·杰伦；马丁·昆森 相关软件： SLAM；KITTeL公司；ASTREE… 主要字段： 计算机科学（68-XX）