中国保监会 43篇文献引用(2007–2023) 软件作者： 多雷尔，卢卡努；Goriac，Eugen-Ioan；乔治亚娜·卡尔泰斯；格里高·罗什乌 相关软件： 莫德；OBJ咖啡馆；卡斯尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
CoALP公司 25篇文献引用(2011–2023) 软件作者： 叶卡捷琳娜·科门丹茨卡亚；权力，约翰；马丁·施密特 相关软件： CoCaml公司；coFJ；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
帕科 25篇文献引用(2013–2021) 软件作者： Chung-Kil Hur、Georg Neis、Derek Dreyer、Viktor Vafeiadis 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
塔克 7份文件引用(2007–2012) 软件作者： 大卫·巴尔德（David Baelde）；戴尔·米勒；斯诺，扎卡里 相关软件： 阿贝拉；贝德维尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
库莫 5份文件引用(1999–2004) 软件作者： 约瑟夫·戈根（Joseph Goguen）、凯·林（Kai Lin）、格里戈·罗苏（Grigore Rosu）、博格丹·瓦林斯基（Bogdan Warinschi） 相关软件： OBJ咖啡馆；团结；OBJ3型 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CoCLAM公司 2份文件引用（2000年至2012年） 软件作者： 洛杉矶丹尼斯。；邦迪，A。；我是格林。 相关软件： 牡蛎；欧米茄；蛤蜊… 主要字段： 阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）；计算机科学（68-XX）