Reluplex公司 71篇文献引用(2017–2024) 软件作者： 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件： 马拉博；AI2；NNV… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
Z3str3号机组 19份文件引用（2018年-2023年） 软件作者： Berzish，M.、Ganesh，V.、Zheng，Y。 相关软件： z3；CVC4；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
中国科学院科学院 18篇文献引用（2018年-2023年） 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；格林戈… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
深度数学 16篇文献引用(2017–2023) 软件作者： Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban 相关软件： E定理证明器；米扎尔；谜… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；计算机科学（68-XX）
神经卫星 12份文件引用(2019–2023) 软件作者： 丹尼尔·塞尔萨姆；马修·拉姆（Matthew Lamm）；班尼茨，贝内迪克特；梁佩西；莱昂纳多·德·莫拉；大卫·L·迪尔。 相关软件： 萨齐拉；古罗比；亚当… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
HOList公司 10篇文献引用(2020–2023) 软件作者： 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件： 谜；E定理证明器；FEMaLeCoP… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
资产负债管理 8份文件引用(2012–2020) 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
自动校对 7份文件引用(2015–2023) 软件作者： Tschannen，J。；加利福尼亚州福利亚；诺迪奥，M。；北卡罗来纳州波里卡波娃。 相关软件： 达夫尼；VCC；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
dCAQE公司 6篇文献引用(2019–2022) 软件作者： Tentrup，Leander；马库斯·拉贝。 相关软件： HQPre；iProver；CAQE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
国歌 4份文件引用(2019–2020) 软件作者： Lifschitz，V.、Lühne，P.、Schaub，T。 相关软件： 格林戈；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
山核桃 4份文件引用(2022–2024) 软件作者： Reed Oei、Dun Ma、Christian Schulz、Philipp Hieronymi 相关软件： 核桃；组织环境信息系统；欧米茄+… 主要字段： 数论（11-XX）；计算机科学（68-XX）
猫头鹰 引用于2份文件(2022–2023) 软件作者： 王亮（Liang Wang） 相关软件： OCaml；DGM；亚当… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
游戏Pad 3份文件引用(2019–2023) 软件作者： Daniel Huang；Prafulla Dhariwal；宋，黎明；伊利亚·萨茨克沃 相关软件： E定理证明器；深度数学；FEMaLeCoP… 主要字段： 计算机科学（68-XX）
Isar步骤 3份文件引用(2021–2023) 软件作者： 李文达；余、雷；吴玉怀；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；HOList；TacTok… 主要字段： 计算机科学（68-XX）
多重增益 引用于2份文件(2016–2017) 软件作者： 托马斯·布拉兹迪尔；克里希南德·查特吉；Forejt，Vojtěch；公司；安东·库切拉 相关软件： 棱镜；鹰；TuLiP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
DiscASP（磁盘ASP） 1份文件引用(2022) 软件作者： 李芳；王华多；巴苏，金贾尔；Elmer Salazar；戈帕尔·古普塔 相关软件： xASP；中国科学院科学院；xclingo公司 主要字段： 计算机科学（68-XX）
电喷 在0个文档中引用 软件作者： Aayush Kumar、Jimiama Mafeni Mase、Divish Rengasamy、Benjamin Rothwell、Mercedes Torres Torres、David A.Winkler、Grazziela P.Figueredo 相关软件： 浓缩咖啡；NIMEFI；解释ML… 主要字段： –
波乐萨特 1份文件引用（2017年） 软件作者： 李建文；蒲、葛光；张丽君；姚银波；Vardi，Moshe Y。；何继峰 相关软件： NuSMV；阿尔塔；利维坦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
吉莉安 在0个文档中引用 软件作者： 何塞·弗拉戈索·桑托斯（JoséFragoso Santos）、彼得·马克西莫维奇（Petar Maksimović）、萨沙·埃利·阿永（Sacha-E lie Ayoun）、菲利普·加德纳（Philippa Gardner） 相关软件： – 主要字段： –