DACTL公司 28篇文献引用(1987–2015) 软件作者： John R.W.Glauert、Richard Kennaway、George A.Papadopoulos、Ronan Sleep 相关软件： 迭戈；进度；蒙斯特… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
KITTeL公司 10篇文献引用(2011–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；卡普尔，迪帕克；卡斯滕·辛兹 相关软件： z3；控制；Yices… 主要字段： 计算机科学（68-XX）
皮尔斯纳 7份文件引用(2015–2021) 软件作者： 乔治·奈斯（Georg Neis）；Hur，Chung-Kil；凯撒，简·奥利弗；Craig McLaughlin；德里克·德雷尔（Derek Dreyer）；维克托·瓦菲阿迪斯 相关软件： 辅酶q；CakeML；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
G小调 4份文件引用（2010年至2019年） 软件作者： 安德鲁·麦克里特（Andrew McCreight）；蒂姆·骑士；安德鲁·托尔马赫 相关软件： 辅酶q；CompCert；CompCertTSO… 主要字段： 计算机科学（68-XX）
霍尔巴 2份文件引用(2020–2022) 软件作者： 迪德里克·伦德伯格（Didrik Lundberg）；罗伯特·瓜夏莱（Roberto Guanciale）；安德烈亚斯·林德纳；达姆，麦兹 相关软件： RGITL；达夫尼；GNAT证明… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PyLog软件 1份文件引用(2021) 软件作者： 黄思涛；吴坤；Jeong，Hyunmin；王成岳；陈德铭；吴文美 相关软件： AutoSA；PYNQ；PyRTL… 主要字段： 计算机科学（68-XX）
萨波尔 1份文件引用(2011) 软件作者： L.Domoszlai、E.Bruel、J.M.Jansen 相关软件： 单足蹦跳；Flapjax；JavaScript… 主要字段： 计算机科学（68-XX）
暗房 在0个文档中引用 软件作者： 詹姆斯·赫加蒂（James Hegarty）；John Brunhaver；扎卡里·德维托；乔纳森·拉甘·凯利（Jonathan Ragan-Kelley）；诺伊·科恩；史蒂文·贝尔（Steven Bell）；阿特姆·瓦西利耶夫；马克·霍洛维茨（Mark Horowitz）；帕特·汉拉罕 相关软件： – 主要字段： –