克林戈 140篇文献引用(2009–2024) 软件作者： 马丁·格布瑟；罗兰·卡明斯基；本杰明·考夫曼；托尔斯滕·绍布 相关软件： 格林戈；卡环；WASP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
白鲸 29篇文献引用(2010–2022) 软件作者： 布里吉特·皮恩特卡；约书亚·邓菲尔德 相关软件： Twelf；阿贝拉；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
PySAT公司 引用于27份文件(2018–2023) 软件作者： 阿列克谢·伊格纳提耶夫（Alexey Ignatiev）；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 相关软件： MiniSat；葡萄糖；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
InsEnc公司 22篇文献引用(2006–2023) 软件作者： 文森特·瓦特 相关软件： 组织环境信息系统；草本植物；WILF… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；代数几何（14-XX）…
D-扁平 8份文件引用(2012–2020) 软件作者： Bliem，B.，Morak，M.，Woltran，S。；Abseher，M.、Bliem，B.、Charwat，G.、Dusberger，F.、Hecher，M。 相关软件： 克林戈；杰拉西尔；计算TW… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HyComp公司 6篇文献引用(2017–2022) 软件作者： A.Cimatti、A.Griggio、S.Mover、S.Tonetta 相关软件： nuXmv；CTIGAR；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
变速箱 6篇文献引用(2011–2021) 软件作者： Otpuschennikov，I.、Semenov，A.、Kochemazov，S。 相关软件： MiniSat；氚；URSA… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
千ProbLog 5份文件引用(2016–2021) 软件作者： 弗朗西斯科·奥西尼；保罗·弗雷斯科尼；吕克·德·雷德 相关软件： ProbLog；戴纳；博客… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CoSA公司 2份文件引用(2020–2022) 软件作者： Mattarei，C.、Mann，M.、Barrett，C.等人。 相关软件： 尤瑟斯；爱格；BtorMC… 主要字段： 计算机科学（68-XX）
新HOPLA 3份文件引用(2004–2014) 软件作者： 格林·温斯克尔（Glynn Winskel）；弗朗西斯科·扎帕·纳德利 相关软件： HOPLA公司 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
它本身 1份文件引用(2022) 软件作者： 自由软件基金会。 相关软件： 数字Py；卢比；字符串列表… 主要字段： 全局分析，流形分析（58-XX）；相对论与引力理论（83-XX）；天文学和天体物理学（85-XX）