科莱姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；普格利泽，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
COSTA公司 22篇文献引用(1992–2020) 软件作者： 埃尔维拉·阿尔伯特（Elvira Albert）、普里·阿雷纳斯（Puri Arenas）、萨米尔·吉纳伊姆（Samir Genaim）、杰尔曼·普埃布拉（Germanán Puebla）、达米亚诺·扎纳尔迪尼 相关软件： 速度；AProVE；参考… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；偏微分方程（35-XX）…
克拉瓦 18篇文献引用(2002–2020) 软件作者： 洛伦佐·贝蒂尼；德尼古拉（De Nicola）、罗科（Rocco）；罗萨里奥Pugliese 相关软件： 科莱姆；琳达；石灰… 主要字段： 计算机科学（68-XX）
苏门答腊岛 4份文件引用（2002年至2017年） 软件作者： Anurag Acharya、M.Ranganathan、Joel Saltz 相关软件： 克拉瓦；石灰；卡米洛特… 主要字段： 计算机科学（68-XX）
圣杯 5份文件引用(2003–2019) 软件作者： Lennart Beringer；肯尼思·麦肯齐（Kenneth MacKenzie）；伊恩·斯塔克 相关软件： 卡米洛特；Isabelle/HOL；OCaml… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
简洁 5份文件引用（2004年-2010年） 软件作者： 尼尔森，弗莱明；尼尔森、汉内·里斯；孙红燕；米凯尔·巴赫霍尔茨（Mikael Buchholtz）；Hansen、Rene Rydhof；亨利克·皮利加德（Henrik Pilegaard）；赫尔穆特·塞德尔 相关软件： 琳达；科莱姆；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
JikesRVM系列 2份文件引用(2008–2019) 软件作者： 拉斐尔·基塔达莫；贾科莫·卡布里；莱蒂齐亚·莱昂纳迪 相关软件： SPECjvm2008；神谕；DaCapo… 主要字段： 计算机科学（68-XX）
ProMoVer公司 4份文件引用(2011–2016) 软件作者： Siavash Soleimanifard；古罗夫，帝力；玛丽克·赫斯曼 相关软件： MAVEN公司；德尔塔CCS；MSTA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
AnZenMail公司 2份文件引用(2003) 软件作者： 志山、Etsuya；Shigeki Hagihara；NaokiKobayashi，；Nishizaki，Shin-ya；KenjiroTaura，；渡边，Takuo 相关软件： 辅酶q；TALx86；JFlow… 主要字段： 计算机科学（68-XX）
BicolanoMT公司 3份文件引用(2009–2018) 软件作者： Huisman，M.，Petri，G。 相关软件： 存档正式证据；Jinja线程；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
JCML公司 2份文件引用(2009–2012) 软件作者： Da Costa，翁贝托·苏扎；莫雷拉（Moreira）、阿纳玛丽亚·马丁斯（Anamaria Martins）；Martin A.Musicante。；索扎·内托（Souza Neto），Pl’acido A。 相关软件： 回路；Z；JML… 主要字段： 计算机科学（68-XX）
米利尼奥 1份文件引用(2000) 软件作者： 佩雷斯·迪亚斯（Pérez Díaz），杰苏斯·阿图罗（Jesús Arturo）；阿尔瓦雷斯·古铁雷斯，达里奥；加西亚·巴隆，萨拉·伊莎贝尔 相关软件： – 主要字段： 计算机科学（68-XX）
WrapDroid（包裹机器人） 在0个文档中引用 软件作者： 王雪强；王岳武；刘利民；雷凌光；Jing、Jiwu 相关软件： – 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）