Verigraph公司 9份文件引用(2016–2023) 软件作者： 吉尔赫梅·格罗肖（Guilherme Grochau）阿齐兹（Azzi）；贝泽拉、乔纳斯·桑托斯；莱拉·里贝罗（Leila Ribeiro）；安德烈·科斯塔；罗德里格斯、莱昂纳多·马尔克斯；罗德里戈·马查多 相关软件： AGG；同意；Henshin… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
RATH-Agda公司 引用于3份文件(2014) 软件作者： Kahl，W。 相关软件： 阿格达；CASL；Spoofax… 主要字段： 阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）