AGG公司 71篇文献引用(1994–2023) 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
VIKOR公司 47篇文献引用(2007–2024) 软件作者： 奥普利科维奇，塞拉菲姆；曾国雄 相关软件： MADM；PROMETHEE-MD；电气… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
普韦布洛 33篇文献引用（1998年至2021年） 软件作者： 侯赛因·希尼。；卡伦·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
L2罗伊 引用于17份文件(2016–2023) 软件作者： K.Oßwald、A.Siegmund、P.Birken、V.Hannemann、A.Meister 相关软件： 澳大利亚统计局；HE-E1GODF；FLICA-OVAP… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
数学检查 13份文件引用(2015–2021) 软件作者： 明亮，柯蒂斯；Ganesh，维杰；阿尔伯特·海因勒；科齐里亚斯、伊利亚斯；赛义德·内贾蒂；Czarnecki，Krzysztof；爱德华·祖尔科斯基 相关软件： 山猫；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
versat公司 13份文件引用(2012–2022) 软件作者： Oe，Duckki；阿伦·斯塔姆（Aaron Stump）；科里·奥利弗；凯文·克兰西 相关软件： Isabelle/HOL；Coq；查夫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CalCS公司 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
宗派 7份文件引用(2009–2017) 软件作者： Stephen Fenech、Gordon J.Pace、Gerardo Schneider 相关软件： 安纳康；法律规则ML；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
程序冲突分析 6篇文献引用(2008–2019) 软件作者： 彼得·兰米奇（Peter Lammich）；马库斯·穆勒·奥尔姆 相关软件： 存档正式证据；Isabelle/HOL；Gabow SCC… 主要字段： 计算机科学（68-XX）
QMiraXT公司 4份文件引用(2012–2016) 软件作者： 刘易斯，M.，舒伯特，T.，贝克尔，B。 相关软件： PicoSAT；MPIDepQBF；佐藤… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
UML秒 2份文件引用(2014–2018) 软件作者： Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、Shen S 相关软件： 跳跃；TGV；LUSTRE… 主要字段： 计算机科学（68-XX）
自行车 3份文件引用(2018–2019) 软件作者： 潘兴浩（Xinghao Pan）、林美心（Maximilian Lam）、杜士泰（Stephen Tu 相关软件： 猪瘟；电影镜头；D-ADMM… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
捕鼠器 2份文件引用(2018) 软件作者： Kieslich，P.J。；亨尼格尔，F。 相关软件： 鼠标跟踪器；KFAS；ggmcmc… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）
AnaCon公司 2份文件引用(2013–2017) 软件作者： 克拉西米尔·安吉洛夫（Krasimir Angelov）；约翰·卡米莱里（John J.Camilleri）。；杰拉尔多·施奈德 相关软件： 宗派；法律规则ML；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）