Coq/SS反射 74份文件引用(2008–2021) 软件作者： Microsoft Research-Inria联合中心 相关软件： 辅酶q；Isabelle/HOL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
米兹3 12份文件引用(2012–2020) 软件作者： 弗里克·威迪杰克 相关软件： 辅酶q；米扎尔；Isar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
ML4PG系列 10篇文献引用(2013–2021) 软件作者： 乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚 相关软件： 辅酶q；SEPIA；苍蝇斑点… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
数学组件 7份文件引用(2016–2023) 软件作者： 数学组件团队 相关软件： 辅酶q；GitHub；Isabelle/HOL… 主要字段： 组合数学（05-XX）；数论（11-XX）；场论与多项式（12-XX）…
CoqEAL公司 5份文件引用(2012–2021) 软件作者： Dénès M；西里尔·科恩；安德斯·莫特伯格 相关软件： 辅酶q；Coq/SS反射；精益… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
盖亚 4份文件引用（2010年至2016年） 软件作者： JoséGrimm（Marelle团队） 相关软件： 辅酶q；Coq/SS反射；苍蝇斑点… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）