西格玛* 14篇文献引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
数学检查 13份文件引用(2015–2021) 软件作者： 明亮，柯蒂斯；维杰·加内什；阿尔伯特·海因勒；科齐里亚斯、伊利亚斯；赛义德·内贾蒂；Czarnecki，Krzysztof；爱德华·祖尔科斯基 相关软件： 山猫；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
F外壳 6篇文献引用(2010–2016) 软件作者： 安德烈亚斯·霍尔泽（Andreas Holzer）；克里斯蒂安·夏尔哈特；迈克尔·陶奇尼格（Michael Tautschnig）；赫尔穆特·维思 相关软件： Java PathFinder；CPA检查员；RapiTime… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
验证 6篇文献引用(2021–2024) 软件作者： 托马索·德罗西（Tommaso Dreossi）、丹尼尔·弗雷蒙特（Daniel J.Fremont）、施洛蒙娜·戈什（Shromona Ghosh）、爱德华·金（Edward Kim）、哈迪·拉文巴赫（Hadi Ravanbakhsh）、马塞尔·巴斯奎兹·香拉特（Marcell Vazque 相关软件： Reluplex；NNV；阿波罗… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
SymmPa公司 3份文件引用(2012–2017) 软件作者： 阿拉斯泰尔·唐纳森。；亚历山大·凯撒；Daniel Kroening；Michael Tautschnig；托马斯·沃尔 相关软件： 螺纹工；魔法；ASTREE… 主要字段： 计算机科学（68-XX）
EFSMT公司 2份文件引用(2016–2019) 软件作者： Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件： z3；Yices；SMT-RAT… 主要字段： 计算机科学（68-XX）
肉汁 1份文件引用(2020) 软件作者： Arlt，S.、Rubio-González，C.、Rümmer，P.、Schäf，M.、Shankar，N。 相关软件： Rust2Viper；蝰蛇；SMACK… 主要字段： 计算机科学（68-XX）