巴基斯坦国家税务局 42篇文献引用(1996–2023) 软件作者： Hantao Zhang、Maria Paola Bonacina、Jieh Xiang 相关软件： SATO；MiniSat；箔条… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
MOPS公司 15篇文献引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
尼诺菲克斯 引用于19份文件(2008–2023) 软件作者： 弗洛里安·朗辛（Florian Lonsing）、阿明·比埃尔（Armin Biere） 相关软件： QUBOS公司；DepQBF；sQueezeBF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CCASat卫星 17篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐 相关软件： CCLS；CCAnr；NuMVC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；动力系统和遍历理论（37-XX）…
裴楚丘 16篇文献引用(2008–2022) 软件作者： 蒂姆·斯特拉兹尼；罗兰·梅耶；斯文·林克尔 相关软件： MWB；SLMC；ByMC… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
AMT公司 12份文件引用(2008–2018) 软件作者： D.尼科维奇，O.马勒 相关软件： Uppaal；太空探索技术公司；棱镜… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
InVeSt公司 10篇文献引用(1999–2013) 软件作者： Bensalem S、Lakhnech Y、Owre S 相关软件： PVS；TREX公司；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
POEM公司 8份文件引用(2006–2022) 软件作者： 普罗旺斯大学；彼得·尼伯特（Peter Niebert）；曲洪阳 相关软件： Uppaal；自旋蛋白；IF-2.0… 主要字段： 计算机科学（68-XX）
海康普 6篇文献引用(2017–2022) 软件作者： A.Cimatti、A.Griggio、S.Mover、S.Tonetta 相关软件： nuXmv；CTIGAR；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ASDeX公司 1份文件引用(2018) 软件作者： 马明宇（Mingyu Ma）、拉尔斯·赫德里奇（Lars Hedrich）、克里斯汀·斯波勒（Christian Sporrer） 相关软件： 狂喜；MiniSat；通过… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）