PicoSAT卫星 86篇文献引用(2008–2023) 软件作者： 阿明·比尔 相关软件： MiniSat；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
梅蒂塔斯基 56篇文献引用(2008–2024) 软件作者： 贝扎德·阿克巴普尔；劳伦斯·C·鲍尔森。 相关软件： QEPCAD；z3；PVS… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
GOLEM公司 39篇文献引用(1991–2023) 软件作者： S.Muggleton；C.冯 相关软件： 箔；阿列夫；探测日志… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
CiaoPP公司 51篇文献引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MiniMaxSat卫星 39篇文献引用(2008–2023) 软件作者： 费德里科·赫拉斯；哈维尔·拉罗萨；阿尔伯特·奥利弗拉斯 相关软件： 周六4j；MaxHS；QMaxSAT… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
美国公共广播电视公司 38篇文献引用(2003–2014) 软件作者： Aloul，F.A.、Ramani，A.、Markov，I.L.和Sakallah，K.A。 相关软件： 糠；MiniSat；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
公主 30篇文献引用（2010年-2023年） 软件作者： Angelo Brillout、Daniel Kroening、Philipp Rümmer、Thomas Wahl 相关软件： 病灶；z3；Eldarica… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
魁北克++ 24篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QUBE公司；Quaffle；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CrossMine公司 9份文件引用(2005–2020) 软件作者： 尹晓欣；韩嘉伟；杨炯；Yu，Philip S。 相关软件： FactorBase；PRMLT；FOIL… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
versat公司 13份文件引用(2012–2022) 软件作者： Oe，Duckki；阿伦·斯塔姆（Aaron Stump）；科里·奥利弗；凯文·克兰西 相关软件： Isabelle/HOL；Coq；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Barcelogic工具 9份文件引用(2005–2009) 软件作者： 阿尔伯特·奥利弗拉斯；罗伯特·尼文胡斯 相关软件： SMT-LIB；z3；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
GKC公司 7份文件引用(2019–2022) 软件作者： 塔内尔·塔米特 相关软件： VAMPIRE公司；SPASS；水獭… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
临床 4份文件引用（1994年至2017年） 软件作者： Chu，H.，Plaisted，D.A.，理论博物馆 相关软件： iProver；E-Darvin；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
dCAQE公司 6篇文献引用(2019–2022) 软件作者： Tentrup，Leander；马库斯·拉贝。 相关软件： HQPre；iProver；CAQE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
卡拉 4份文件引用(2012–2022) 软件作者： Christian Kloimüllner、Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件： ASPVIZ；阿司匹林；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
QRAT预+ 6篇文献引用(2019–2021) 软件作者： Lonsing，F.，Egly，U。 相关软件： 布洛克；DepQBF；QESTO… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
达瓦 4份文件引用(2002–2011) 软件作者： Jerome Miecznikowski；劳丽·亨德伦 相关软件： FlowDroid；ESC/Java；方面J… 主要字段： 计算机科学（68-XX）
埃林戈 4份文件引用(2020–2022) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；哈维尔·加雷亚；哈维尔·罗梅罗；托尔斯滕·绍布 相关软件： 克林戈；出售；htd… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
食腐动物 4份文件引用(2017–2021) 软件作者： 达尼亚尔·伊特古洛夫；约翰·斯莱尼；布鲁诺沃尔岑洛格尔古 相关软件： E定理证明器；水獭；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RoWordNet网络 2份文件引用（2009-2016年） 软件作者： D.Tufis、V.Barbu Mititelu、D.Stefanescu、R.Ion 相关软件： WordNet；单词2vec；自动扩展… 主要字段： 计算机科学（68-XX）
TSAT公司++ 3份文件引用（2005年至2008年） 软件作者： 阿曼多，亚历山德罗；克劳迪奥·卡斯泰利尼；恩里科·金奇利亚（Enrico Giunchiglia）；伊迪尼，马西莫；马可·马拉提亚 相关软件： CVC；SMT-LIB；箔条… 主要字段： 计算机科学（68-XX）
UPMurphi公司 2份文件引用(2012–2019) 软件作者： Penna，G.D.，Intrigila，B.，Magazzeni，D.，Mercorio，F 相关软件： 结肠；SCOTS；PESSOA… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
国际标准化组织3 1份文件引用(2017) 软件作者： 费利克斯·温特勒（Felix Winterer）、卡斯滕·谢布勒（Karsten Scheibler）、利奥诺·温特勒、马蒂亚斯·绍尔（Matthias Sauer） 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）