CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
CITP公司 8份文件引用（2013年-2023年） 软件作者： 戈因纳，丹尼尔；张敏；千叶，Yuki；有本，安仁 相关软件： 莫德；OBJ咖啡馆；保监会… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）