科莱姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；普格利泽，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
tK目标 6篇文献引用(2005–2008) 软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；丹尼尔·戈拉（Daniele Gorla）；罗萨里奥Pugliese 相关软件： 科莱姆；琳达；克拉瓦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MetaKlaim公司 5份文件引用(2003–2020) 软件作者： Gianluigi法拉利；尤金尼奥·莫吉；罗萨里奥Pugliese 相关软件： 科莱姆；克拉瓦；杰森… 主要字段： 计算机科学（68-XX）
MoMo公司 4份文件引用(2005–2014) 软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；米歇尔·洛雷蒂 相关软件： 科莱姆；SLMC；COPASI… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）