OMDoc公司 93篇文献引用(2001–2022) 软件作者： 迈克尔·科尔哈斯 相关软件： MMT；Coq；Mizar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
3APL公司 23篇文献引用(2001–2016) 软件作者： M.Dastani、F.Dignum、J.-J.Meyer 相关软件： AgentSpeak；贾德克斯；杰森… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
KQML公司 16篇文献引用(1996–2019) 软件作者： 蒂姆·菲宁（Tim Finin）、理查德·弗里茨森（Richard Fritzson）、唐纳德·普·麦凯（Donald P McKay）、罗宾·麦康蒂尔（Robin McEntire） 相关软件： 神童；Globus工具包；Qu-Prolog… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
KSACI公司 2份文件引用(2002–2009) 软件作者： Ryan L.阿尔伯克基。；Hübner，Jomi F。；德保拉（de Paula），古斯塔沃（Gustavo E.）。；Jaime S.Sichman。；Geber L.Ramalho。 相关软件： LEAP公司 主要字段： 计算机科学（68-XX）