LOTOS公司 135份文件引用(1988–2023) 软件作者： 博洛涅西，T.，布林克斯马，E。 相关软件： CADP；自旋蛋白；Uppaal… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
SETHEO公司 118篇文献引用(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
第3页 23篇文献引用(2001–2016) 软件作者： M.Dastani、F.Dignum、J.-J.Meyer 相关软件： AgentSpeak；贾德克斯；杰森… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
JSAI公司 6篇文献引用(2017–2022) 软件作者： 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫 相关软件： JavaScript；幻影；诺恩… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CRSX公司 引用于3份文件(2009–2011) 软件作者： 罗丝，K.H。；国际商用机器公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
打开SeesPy 2份文件引用(2022) 软件作者： 朱敏杰、弗兰克·麦肯纳、迈克尔·斯科特 相关软件： VTK；Matplotlib；Python… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）
帕尔爪哇 引用于3份文件(2007–2009) 软件作者： 副总裁伊万尼科夫。；阿维提斯扬，A.I。；Gaissaryan，S.S。；医学硕士Akopyan。 相关软件： 小教堂；MPJ Express；要塞… 主要字段： 计算机科学（68-XX）
派克特 2份文件引用(2015–2019) 软件作者： 斯宾塞·鲍曼；卡尔·弗里德里希·博尔兹（Carl Friedrich Bolz）；Robert Hirschfeld；瓦西里·基里切夫；佩佩，托拜厄斯；杰里米·西克（Jeremy G.Siek）。；萨姆·托宾·霍施塔特 相关软件： JavaScript；斯塔丹；RPython… 主要字段： 计算机科学（68-XX）
文本X 1份文件引用(2021) 软件作者： Dejanović，I。；瓦德纳，R。；Milosavljević，G。；武科维奇。 相关软件： mCRL2；GPU棱镜；CUDA公司 主要字段： 计算机科学（68-XX）