普雷格尔 41篇文献引用(2010–2023) 软件作者： Malewicz，G.、Austern，M.H.、Bik，A.J.、Dehnert，J.C.、Horn，I.、Leiser，N.、Czajkowski，G。 相关软件： 图形实验室；MapReduce；Hadoop… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
概念网 19份文件引用(2007–2023) 软件作者： Liu H，Singh P；哈瓦西，C.，斯佩尔，R.，阿隆索，J。 相关软件： WordNet；BERT；雅高… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
DLV公司 29篇文献引用(2001–2022) 软件作者： 乔瓦尼·格拉索；萨尔瓦多伊里塔诺；Leone，尼古拉；弗朗西斯科·里卡 相关软件： WASP；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
3APL公司 23篇文献引用(2001–2016) 软件作者： M.Dastani、F.Dignum、J.-J.Meyer 相关软件： AgentSpeak；贾德克斯；杰森… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；跟踪器；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
第2组 17篇文献引用(2009–2022) 软件作者： C.烘焙；D.丰满 相关软件： AGG；GrGen；Fujaba… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MEDLAR公司 14篇文献引用(1995–2013) 软件作者： 布鲁诺·巴赫伯格、约阿希姆·普法尔兹格拉夫、卡雷尔·斯托克曼、沃尔夫冈·盖尔克、维奥里卡·索夫罗尼 相关软件： 枫树；6月2日；BVPh… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
MASTRO公司 8份文件引用(2018–2021) 软件作者： Calvanee，D.等人。 相关软件： Ontop；SPARQL；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VeriFun公司 在10份文件中引用(2005–2017) 软件作者： 克里斯托夫·沃尔特；斯蒂芬·施韦策 相关软件： ACL2；哈斯克尔；Coq… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
探测网KAT 7份文件引用(2017–2022) 软件作者： 斯莫尔卡、斯特芬；普拉文·库马尔（Praveen Kumar）；Nate Foster；德克斯特·科赞；亚历山德拉·席尔瓦 相关软件： NetKAT；棱镜；QPL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；测量和集成（28-XX）…
数据日志MTL 6篇文献引用(2022–2023) 软件作者： Wałȩga，P.A。；Cuenca Grau，B。；卡明斯基，M。；科斯特列夫，E。 相关软件： LARS；克林戈；Graal… 主要字段： 计算机科学（68-XX）
DeReS公司 3份文件引用(2019–2022) 软件作者： Cholewinski，P.、Marek，V.、Truszczynski，M。 相关软件： 数据日志；中国科学院科学院；Clingo… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L.公司。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
英国圣公会 4份文件引用(2018–2024) 软件作者： 托宾，D。；van de Meent，J.W。；Yang，H。；木材，F。 相关软件： 高温；ProbLog；验证… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
最佳 4份文件引用(2016–2021) 软件作者： Sahlin，K。；韦齐，F。；Nystedt，B.公司。；伦德伯格，J。；阿维斯塔德，L。， 相关软件： 草地；班布斯2；ScaffMatch… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
科梅特 4份文件引用(2002–2005) 软件作者： Calmet，J.，Jekutsch，S.，Kullmann，P.，Schü，J。 相关软件： FRIL；PVS；SPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RADA公司 4份文件引用(2015–2018) 软件作者： Pham，T.，Whalen，M.W。 相关软件： CVC4；z3；大锤… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
斯帕克 2份文件引用(2011–2020) 软件作者： 简·奥利弗·沃格伦、卢茨·弗洛姆伯格、迪德里奇·沃尔特、弗兰克·迪拉、克里斯蒂安·弗雷克萨 相关软件： SWI-预测；HOL灯；伊莎贝尔/HOL 主要字段： 计算机科学（68-XX）
FOL_哈里森 2份文件引用(2018) 软件作者： 亚历山大·伯奇·詹森（Alexander Birch Jensen）、安德斯·施利奇特克鲁尔（Anders Schlichtkrull）、约根·维拉德森（Jorgen Villadsen） 相关软件： 经验证的校准仪；归档正式校对；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
向ATINF致敬 2份文件引用（2001年至2012年） 软件作者： 卡费拉、里卡多；尼古拉斯·佩尔蒂埃（Nicolas Peltier）；弗朗索瓦·普伊格 相关软件： GEX；日本国债交易所；发现者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
林肯 2份文件引用(2017–2021) 软件作者： 艾娜·林·乔治斯（Aina Linn Georges）；阿加塔·穆拉夫斯卡；奥蒂斯、肖恩；碧姬·品特卡 相关软件： github；阿格达；丁香… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Nusschecker（数字检查器） 2份文件引用(2020–2023) 软件作者： 丹尼尔·考夫曼（Daniela Kaufmann）；阿明·比尔 相关软件： 帕切克；博斯普鲁斯；RevSCA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
接受 1份文件引用(2018) 软件作者： Sampson，A.、Baixo，A.、Ransford，B.、Moreau，T.、Yip，J.、Ceze，L.、Oskin，M。 相关软件： 胡迪尼；布吉；依赖… 主要字段： 计算机科学（68-XX）
迪兹克斯 1份文件引用(2023) 软件作者： 波奥尔，博尔迪扎尔；罗伯特一世·布斯。；Carette，Titouan；约翰·范德韦特林（John van de Wetering）；是的，Lia 相关软件： PyZX；蟒蛇 主要字段： 量子理论（81-XX）