AGG公司 71篇文献引用(1994–2023) 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
SQEMA公司 40篇文献引用(2005–2021) 软件作者： 威廉·康雷迪（Willem Conradie）；瓦伦丁·戈兰科 相关软件： Isabelle/HOL；认识逻辑；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）；计算机科学（68-XX）…
规则ML 22篇文献引用(2002–2022) 软件作者： 安德烈亚斯·埃伯哈特 相关软件： swrl；三倍的；沙达拉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
三倍的 16篇文献引用(2002–2015) 软件作者： Michael Sintek；斯特凡·戴克 相关软件： SPARQL；平滑；XSB… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；天文学和天体物理学（85-XX）…
同意 18篇文献引用(2015–2023) 软件作者： Corradini，A.、Duval，D.、Echahed，R.、Prost，F.、Ribeiro，L。 相关软件： Verigraph公司；AGG；Isabelle/HOL… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
图形转换基准 4份文件引用(2006–2010) 软件作者： G.Varró，A.Schürr，D.Varrö 相关软件： 进步；VIATRA2；Fujaba… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
MGS公司 9份文件引用(2001–2016) 软件作者： 贾维托，J.-L。；O·米歇尔。 相关软件： HOCL；NESL；莫德… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Verigraph公司 9份文件引用(2016–2023) 软件作者： 吉尔赫梅·格罗肖（Guilherme Grochau）阿齐兹（Azzi）；贝泽拉、乔纳斯·桑托斯；莱拉·里贝罗（Leila Ribeiro）；安德烈·科斯塔；罗德里格斯、莱昂纳多·马尔克斯；罗德里戈·马查多 相关软件： AGG；同意；Henshin… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
AGGJE公司 4份文件引用（2008年至2015年） 软件作者： 吴，S.C。；H.O.张。；郑，C。；张J.H。 相关软件： 快速PCG；CUDA；LAPACK公司 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；经典热力学，传热（80-XX）
快速PCG 4份文件引用(2008–2015) 软件作者： 吴，S.C。；H.O.张。；郑，C。；张J.H。 相关软件： AGGJE；CUDA；LAPACK公司 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；经典热力学，传热（80-XX）
点钟2分 4份文件引用(2019–2020) 软件作者： 内布拉斯加州纳赛尔；Jens Kosiol；托尔斯滕·阿伦特；加布里埃尔·坦泽尔 相关软件： 亨欣；OCLinEcore；ENFORCe… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
鲁比 4份文件引用(2020–2022) 软件作者： 阿尔伯特·里奇；Patrick Scheibe；纳赛尔·阿巴斯。 相关软件： MultiZeilberger；DEtools；匹配Py… 主要字段： 场论与多项式（12-XX）；实函数（26-XX）；特殊功能（33-XX）…
规则合并器 4份文件引用（2016年至2019年） 软件作者： 丹尼尔·斯特吕贝尔（Daniel Strüber）；朱莉娅·鲁宾；托尔斯滕·阿伦特；玛莎·契克；Gabriele Taentzer；詹妮弗·普洛格 相关软件： 亨欣；AGG；VMQL… 主要字段： 计算机科学（68-XX）
CHR动画 2份文件引用(2015) 软件作者： 纳达·沙拉夫；Abdennadher，苗条；托姆·吕维思 相关软件： BALSA；宙斯；动物… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SiTra公司 1份文件引用(2020) 软件作者： Akehurst，D.H.，Bordbar，B.，Evans，M.J.，Howells，W.G.J.，McDonald-Maier，K.D。 相关软件： UML2合金；Z；凹槽… 主要字段： 计算机科学（68-XX）
手榴弹大师 2份文件引用(2020–2021) 软件作者： 文森特·达诺斯；托拜厄斯·海因德尔；霍诺拉托·齐梅尔（Honorato Zimmer），里卡多（Ricardo）；桑德罗·斯塔基 相关软件： KappaTools；BGL；MedOlDatschgerl… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
GMTE公司 2份文件引用(2013–2019) 软件作者： Hannachi，Mohamed Amine；伊斯梅尔·博阿西达·罗德里格斯；哈利勒德里拉；波马莱斯·埃尔南德斯（Pomares Hernandez）、索尔·爱德华多（Saul Eduardo） 相关软件： jLibBig；GraphML；AGG… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
跳鼠 2份文件引用(2014–2022) 软件作者： 哈基姆，贝尔豪瓦里；阿诺德，阿格内斯；勒加尔，帕斯卡尔；托马斯·贝雷特 相关软件： GP 2；富贾巴；GrGen… 主要字段： 计算机科学（68-XX）
MEMSA实验室 2份文件引用(2014–2022) 软件作者： 瓦利德·贝尔基尔；阿兰·乔尔盖蒂；米歇尔·伦茨纳 相关软件： CoReS；汤姆；枫树 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
包壳，包壳 1份文件引用(2018) 软件作者： V.Vassilev、V.Ilieva、L.Moneta、A.Penev、M.Vassiliev 相关软件： MuPAD；Matlab；特征… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）