DIMACS公司 603文件引用(1993–2024) 软件作者： 约翰逊，D.S。；诡计，M。 相关软件： 禁忌搜索；SATO；查夫… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TISEAN公司 165篇文献引用(1999–2023) 软件作者： Rainer Hegger、Holger Kantz、Thomas Schreiber 相关软件： Matlab；K2；科学… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
夹紧装置 148篇文献引用(1996–2024) 软件作者： Randall J.LeVeque。 相关软件： AMRCLAW；Pyclaw；HE-E1GODF… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗，胭脂红；沃尔夫冈·法伯；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast公司；jStar；HIP… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
dSPIN公司 引用于22份文件（2000年-2014年） 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
幻灯片 引用于27份文件(2013–2023) 软件作者： Iosif，R.，Rogalewicz，A.，Vojnar，T。 相关软件： HIP；推断；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CCured公司 18篇文献引用(2002–2018) 软件作者： Necula，G.C.，McPeak，S.，Weimer，W。 相关软件： SLAM；投掷；Java PathFinder… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
BPPLIB公司 19份文件引用(2018–2024) 软件作者： Delorme，Maxence公司；曼努埃尔·伊奥里（Manuel Iori）；西尔瓦诺·马特罗 相关软件： OR-库；2DCPackGen；2DPackLib… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）
方格网 18篇文献引用(2007–2018) 软件作者： Burckhardt，S.，Alur，R.，Martin，M.K。 相关软件： veriSoft；自旋蛋白；UMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
捕食者 15篇文献引用(2012–2021) 软件作者： 卡米尔·杜德卡；彼得·米勒；彼得·佩林格（Petr Peringer）；汤姆·沃纳 相关软件： CPA检查员；CBMC；幻灯片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
光谱GP 12份文件引用(2008–2023) 软件作者： 克里斯·帕西奥雷克 相关软件： R；GMRFLib；半标准杆… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
Cogent公司 11份文件引用(2005–2018) 软件作者： 库克，拜伦；Daniel Kroening；莎里吉娜，娜塔莎 相关软件： 卫星抗体；简化；旋转… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
XIRQL公司 2份文件引用(2009–2012) 软件作者： 诺伯特·福尔（Norbert Fuhr），凯·格罗·约翰尼（Kai Großjohann） 相关软件： XSEarch；XPath；XQuery… 主要字段： 计算机科学（68-XX）
QGAME公司 8份文件引用(2004–2023) 软件作者： 李·斯佩克特 相关软件： QC模拟器；QISKit；QuEST… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；运筹学，数学规划（90-XX）…
SPLIB公司 9份文件引用(2003–2017) 软件作者： 布拉姆利，R。；X·王。 相关软件： FEATFLOW；SOPLIB2006；基于GPU的ACS… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
ESBMC公司 4份文件引用(2014–2020) 软件作者： 南安普顿大学、斯泰伦博什大学、亚马逊河联邦大学；卢卡斯·科尔代罗（Lucas Cordeiro）；杰里米·莫尔斯（Jeremy Morse）；丹尼斯·尼科尔；伯恩德·菲舍尔 相关软件： CBMC；LLBMC；爆炸… 主要字段： 计算机科学（68-XX）
SeLoger公司 引用于7份文件(2015–2018) 软件作者： Haase，C。；Ishtiaq，S。；Ouaknine，J.等人。；M.J.帕金森。 相关软件： 幻灯片；推断；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AGRIF公司 6篇文献引用(2005–2018) 软件作者： 劳伦特·德布鲁；克里斯托夫·沃兰德；埃里克·布莱奥（Eric Blayo）；印度 相关软件： rbf_qr；DistMesh；LIBSVM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
Halfedge数据结构 5份文件引用（2009年至2022年） 软件作者： 卢兹·凯特纳 相关软件： CGAL；SciPy；剪辑器… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数值分析（65-XX）…
FC公司++ 5份文件引用(2002–2011) 软件作者： 布莱恩·麦克纳马拉；亚尼斯·斯马拉格达基斯 相关软件： STL；Lambda库C++；Python… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
马塔 引用于3份文件(2012–2020) 软件作者： StataCorp公司 相关软件： Stata公司；培根；mixlogit… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CompCertS公司 4份文件引用(2017–2019) 软件作者： 弗雷德里克·贝松；Blazy，Sandrine；皮埃尔·威尔克 相关软件： Coq；CompCert；CompCertTSO… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
MOAB公司 引用于3份文件(2016–2022) 软件作者： T.J.Tautges、R.Meyers、K.Merkley、C.Stimpson、C.Ernst 相关软件： PETSc；FEniCS；libMesh… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；微分几何（53-XX）…
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured；Coq；有限责任公司 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
代数_VC 引用于3份文件(2017–2022) 软件作者： 戈麦斯，V.B.F.，斯特鲁斯，G。 相关软件： 存档正式证据；Isabelle/HOL；克莱纳代数… 主要字段： 计算机科学（68-XX）
TBB（待定） 引用于3份文件(2017–2022) 软件作者： 圣潘省Descombes；马克斯·杜阿尔特；蒂埃里·杜蒙特（Thierry Dumont）；托马斯·吉利特（Thomas Guillet）；百叶窗，紫罗兰；Marc Massot公司 相关软件： HE-E1GODF；AMROC；CUDA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
ALIF公司 2份文件引用(2018) 软件作者： 哈斯科特，劳伦特；M·莫利根。 相关软件： OpenAD/F；锥体；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；地球物理学（86-XX）
毫米90 2份文件引用(1997–2000) 软件作者： J·米查拉克斯。 相关软件： RSL；PETSc；MM5公司 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
CCFI公司 1份文件引用(2022) 软件作者： 马什蒂扎德（A.J.Mashtizadeh）、比托（A.Bittau）、博内赫（D.Boneh）、马齐埃尔（D.Mazières）。 相关软件： QARMA；有限责任公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
COMPCERTSFI公司 1份文件引用(2019) 软件作者： 弗雷德里克·贝松；Blazy，Sandrine；亚历山大·丹（Alexandre Dang）；托马斯·延森（Thomas Jensen）；皮埃尔·威尔克 相关软件： CompCertS；岩盐；暗黑破坏神… 主要字段： 计算机科学（68-XX）
短信++ 1份文件引用(2022) 软件作者： SMS++团队；Frangioni，A.，Iardella，N.，Lobato，R.D。 相关软件： PowerModels.jl；去CODe；PaToH… 主要字段： 运筹学、数学规划（90-XX）
软绑定（SoftBound） 1份文件引用(2020) 软件作者： Nagarakatte，S.、Zhao，J.、Martin，M.M.、Zdancewic，S 相关软件： Jinja线程；存档正式证据 主要字段： 计算机科学（68-XX）