米扎尔 535份文件引用(1983–2024) 软件作者： Grzegorz Bancerek公司；茨瓦夫·拜林斯基；亚当·格拉博夫斯基（Adam Grabowski）；阿图尔·科尼洛维奇；罗伯特·米列夫斯基（Robert Milewski）；亚当·诺莫维奇（Adam Naumowicz）；Andrzej Trybulec；约瑟夫·乌尔班 相关软件： Coq；Isabelle/HOL；HOL灯… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
OCaml公司 274份文件引用(1998–2023) 软件作者： INRIA公司；X.Leroy、D.Rémy、J.Vouillon、D.Doligez 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
CompCert公司 58篇文献引用(2009–2023) 软件作者： X·勒罗伊。 相关软件： Coq；Isabelle/HOL；z3… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
PetRBF公司 21篇文献引用(2010–2023) 软件作者： R.Yokota、L.Barba、M.G.Knepley 相关软件： Matlab；H2Lib；PETSc… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；流体力学（76-XX）…
MMH（毫米） 20篇文献引用(1997–2022) 软件作者： Shai Halevi；雨果·克劳茨克 相关软件： Poly1305-AES；粮食；McOE… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
QEMU公司 3份文件引用(2017–2022) 软件作者： F.贝拉德 相关软件： TTAnalyze；瓦尔格林德；VMWare… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
电子ATS 5份文件引用(2008–2012) 软件作者： ECRYPT公司 相关软件： mpFq；MIRACL公司；曲线25519… 主要字段： 数论（11-XX）；代数几何（14-XX）；信息与通信理论，电路（94-XX）
UTBEST3D公司 4份文件引用(2015–2020) 软件作者： 路透社，巴尔塔萨；Aizinger，Vadym；哈拉尔德·科斯特勒 相关软件： ADCIRC；github；远程通讯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
架构（ArchC） 2份文件引用(2005–2010) 软件作者： 阿泽夫多、鲁道夫；Sandro Rigo；巴托洛缪，马库斯；阿劳霍，圭多；克里斯蒂亚诺·阿劳霍；埃德娜·巴罗斯 相关软件： aiT；MiBench公司；MediaBench… 主要字段： 计算机科学（68-XX）
伊比斯科 1份文件引用(2013) 软件作者： Karimi-Varzaneh，H.A。；钱海杰。；陈，X。；卡博尼，P。；Müller-Plathe，F。 相关软件： —— 主要字段： 可变形固体力学（74-XX）