AGG公司 71篇文献引用(1994–2023) 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
JFLAP公司 14篇文献引用（2002年-2023年） 软件作者： Rodger S、Finley T 相关软件： 自旋蛋白；GeoWin；FAUST… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
TRX公司 8份文件引用(2010–2020) 软件作者： 亚当·科普罗夫斯基（Adam Koprowski）；亨利·宾兹托克 相关软件： Coq；阿格达；HOL… 主要字段： 计算机科学（68-XX）