科莱姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；普格利泽，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
克拉瓦 18篇文献引用(2002–2020) 软件作者： 洛伦佐·贝蒂尼；德尼古拉（De Nicola）、罗科（Rocco）；罗萨里奥·普格利泽 相关软件： 科莱姆；琳达；石灰… 主要字段： 计算机科学（68-XX）
苏门答腊岛 4份文件引用(2002–2017) 软件作者： Anurag Acharya、M.Ranganathan、Joel Saltz 相关软件： 克拉瓦；石灰；卡米洛特… 主要字段： 计算机科学（68-XX）
MetaKlaim公司 5份文件引用(2003–2020) 软件作者： Gianluigi法拉利；尤金尼奥·莫吉；罗萨里奥·普格利泽 相关软件： 科莱姆；克拉瓦；杰森… 主要字段： 计算机科学（68-XX）
JikesRVM系列 2份文件引用(2008–2019) 软件作者： 拉斐尔·基塔达莫；贾科莫·卡布里；莱蒂齐亚·莱昂纳迪 相关软件： SPECjvm2008；甲骨文；DaCapo… 主要字段： 计算机科学（68-XX）
Gc平移 3份文件引用(2007–2011) 软件作者： 丹尼尔·赫希科夫（Daniel Hirschkoff）；Damien Pous；大卫·桑吉奥吉 相关软件： SLMC；OCaml；科莱姆… 主要字段： 计算机科学（68-XX）
TBPLaS公司 1份文件引用(2023) 软件作者： 李云海；詹、珍；匡雪恒；李永刚；袁胜军 相关软件： 结核杆菌；pybinding；MathemaTB… 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
uu-thessi-prm 1份文件引用(2021) 软件作者： 勒内·范·特维斯；范登·阿克尔（van den Akker），马尔扬（Marjan）；汉·胡格文 相关软件： github 主要字段： 运筹学、数学规划（90-XX）