HOL公司 592份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
NuSMV公司 281份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马可·罗维里（Marco Roveri）；Roberto Cavada、Michele Dorigatti、Alessandro Mariotti、Andrea Micheli、Sergio Mover、Marco Roveri、Andrei Tchaltsev 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CUDD公司 158份文件引用(1997–2023) 软件作者： 法比奥·萨蒙齐 相关软件： NuSMV；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MONA公司 144篇文献引用(1995–2023) 软件作者： 克拉伦德，尼尔斯；莫勒，安德斯；迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。；J·埃尔加德。 相关软件： z3；DCVALID；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
MCK公司 34份文件引用(2004–2023) 软件作者： 罗恩·范德梅登；彼得·甘米（Peter Gammie）；Kai Baukus；杰里米·李；程洛；黄晓伟 相关软件： MCMAS；VerICS；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
垫片 31份文件引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
伙计 26篇文献引用(1999–2023) 软件作者： 乔恩·林德·尼尔森 相关软件： CUDD；西尔万；PolyBoRi… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
兔子 23篇文献引用(2001–2022) 软件作者： 德克·贝尔；Lewerentz，克劳斯；安德烈亚斯·诺亚克 相关软件： Uppaal；克罗诺斯；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
MCMAS-SLK公司 19份文件引用(2014–2021) 软件作者： 乔马克，P。；Lomuscio，A。；莫加维罗，F。；A.穆拉诺。 相关软件： MCMAS；摩卡；鹰… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
无级变速器 18篇文献引用(1998–2021) 软件作者： 普努利，A。；Shtrickman，O。；西格尔，M。 相关软件： TVOC；CVC；系统C… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
SIGREF公司 在15份文件中引用(2006–2022) 软件作者： 拉尔夫·威默（Ralf Wimmer）；马克·赫伯斯特里特；赫尔曼斯，霍尔格；凯利·斯特兰普；贝恩德·贝克尔 相关软件： 棱镜；MRMC；CADP… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
MUP公司 在15份文件中引用(2005–2016) 软件作者： 黄杰 相关软件： AMUSE；MiniSat；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
氮氧化物 14篇文献引用(2007–2022) 软件作者： 马库斯·贝勒 相关软件： Matlab；Normaliz；PPL… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
fc2工具 12份文件引用(1999–2022) 软件作者： Bouali，A.、Ressouche，A.、Roy，V.、de Simone，R。 相关软件： CADP；到期未结；CAESAR_SOLVE… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
西尔文 11份文件引用(2020–2023) 软件作者： van Dijk，T。；范德波尔，J。 相关软件： LTSmin公司；棱镜；BuDDy… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
SBSAT卫星 10篇文献引用(2004–2023) 软件作者： 约翰·佛朗哥；米查尔·库里尔；约翰·施利普夫（John Schlipf）；杰弗里·沃德；肖恩·韦弗（Sean Weaver）；Michael Dransfield；W.Mark范弗利特 相关软件： 不可抗力；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
马戏团 9份文件引用(2004–2017) 软件作者： Jin，HoonSang；法比奥·萨蒙齐 相关软件： 糠；CUDD；zChaff… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
高密度密度聚乙烯 引用于7份文件(2015–2022) 软件作者： 皮埃尔·朱利维特；纳塔夫（Frédéric Nataf） 相关软件： FreeFem++；PETSc；GitHub… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SIDNUR公司 引用于7份文件(2014–2021) 软件作者： 皮肖特、盖拉尔丁；巴普蒂斯特·波里兹；Jocelyne Erhel；Jean-Raynald De Dreuzy 相关软件： dfn工程；三角形；redbKIT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TRANSYT公司 引用于7份文件(1990–2013) 软件作者： 恩里克·帕斯特；佩尼亚，马可·a。；马克·索莱 相关软件： CUDD；石化；NuSMV公司 主要字段： 全局分析，流形分析（58-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BDDNOW公司 6篇文献引用(2000–2011) 软件作者： Kim Milvang-Jensen、Alan J.Hu 相关软件： Gprof；Sycraft；CUDD… 主要字段： 计算机科学（68-XX）
凯撒.bdd 6篇文献引用(2015–2023) 软件作者： 达米恩·贝尔加米尼；休伯特·加拉维；INRIA罗纳阿尔卑斯山 相关软件： NUPN_INFO；凯撒；TINA… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
缓存BDD 4份文件引用(2015–2023) 软件作者： 吕冠峰、苏凯乐、徐燕燕 相关软件： CUDD；SMCDEL公司；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FaMa公司 在0个文档中引用 软件作者： D.Benavides、S.Segura、P.特立尼达、A.Ruiz-Cortes 相关软件： 沙漠FD；SICStus公司；禁忌搜索… 主要字段： 计算机科学（68-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）
ROBDD公司 5份文件引用(1992–2003) 软件作者： Brace，K.S。；Rundell，R.L。；R.E.布莱恩特。 相关软件： 非对称性 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
JavaBDD软件 2份文件引用(2008–2022) 软件作者： J·沃利。 相关软件： CUDD；梅德利；智能_… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
PyNuSMV公司 2份文件引用(2015–2017) 软件作者： 西蒙·巴斯德（Simon Busard）、查尔斯·佩切尔（Charles Pecheur） 相关软件： NuSMV；MCMAS公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
AIG解决方案 2份文件引用(2017–2019) 软件作者： Scholl，C.，Pigorsch，F。 相关软件： CAQE；RAReQS；QESTO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HasCacBDD公司 2份文件引用(2015–2018) 软件作者： M·加廷格。 相关软件： SMCDEL公司；CacBDD；CUDD… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
狼 2份文件引用(2005–2007) 软件作者： 沙龙·巴纳；Ziv Glazberg；Ishai Rabinovitz 相关软件： Java PathFinder 主要字段： 计算机科学（68-XX）
ADVENTURE_固体 1份文件引用(2016) 软件作者： 东京大学系统创新系吉村实验室 相关软件： FrontFlow/蓝色；ADVENTURE_耦合器 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
PyCUDD公司 1份文件引用(2011) 软件作者： 史蒂夫·海纳尔 相关软件： 并发工作台；CUDD；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
TBUDDY（待定） 1份文件引用(2023) 软件作者： Randal E.布莱恩特。 相关软件： Paracooba；Kissat公司；SBSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）