IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
区域设置 53篇文献引用(1999–2024) 软件作者： 克莱门斯·巴拉林 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；代数几何（14-XX）…
印章 39篇文献引用(1998–2023) 软件作者： 科普曼，S.J。；哈维，A.C。；Doornik，J.A。；谢泼德，A。 相关软件： SsfPack；公牛；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PAG公司 引用于20份文件(1996–2018) 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；BLAS；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
R朗格芬 7份文件引用(2008–2019) 软件作者： 克里斯托夫·库彻恩 相关软件： RNAsubopt基因；RNA折叠；枫树… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
dim6顶部 5份文件引用(2021–2024) 软件作者： A.Aguilar Saavedra、C.Degrand、G.Durieux、F.Maltoni、E.Vryonidou、C.Zhang；D.Barducci、I.Brivio、V.Cirigliano、W.Dekens、J.de Vries、C.Englert、M.Fabbrichese、C.Grojean、U.Haisch、Y.Jiang、J.Kamenik、M.Mangano、D.Marzocca、E.Mereghetti、K.Mimasu、L.Moore、G.Perez、T.Plehn、F.Riva、M.Russell、J.Santiago、M.Schulze、Y.Soreq、A.Tonero、M.Trott、S.Westhoff、C.White、A.Wulzer、J.Zupan 相关软件： 费恩规则；MadGraph5_aMC@NLO;SuperTracer… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
负鼠 6篇文献引用(2021–2023) 软件作者： 斯宾塞·伍迪；Carvalho，Carlos M。；贾里德·穆雷（Jared S.Murray）。 相关软件： 贝叶斯树；捷运局；tsbart… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SABoost公司 6篇文献引用(2007–2012) 软件作者： 曹，C.Andy；张远钦·伊凡 相关软件： 阿达·布斯特。MH；UCI-ml；R、 … 主要字段： 一般性和全局性主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
编辑 2份文件引用(2019–2020) 软件作者： Ryan G.James、Christopher J.Ellison、James P.Crutchfield 相关软件： 蟒蛇；github；SYNDISC… 主要字段： 统计学（62-XX）；信息与通信理论，电路（94-XX）
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数字电视 3份文件引用(1993–2015) 软件作者： Lee Blaine、Allen Goldberg 相关软件： OCaml；孩子们；菲亚特… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
榛子 2份文件引用(2017) 软件作者： 奥马尔，赛勒斯；伊恩·沃西；希尔顿，迈克尔；乔纳森·奥尔德里奇；马修·哈默（Matthew A.Hammer）。 相关软件： 甲基丙烯酸甲酯；js_of_ocaml；mbeddr… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
国际公共部门会计准则 1份文件引用(2024) 软件作者： 卡梅隆·比弗斯；弗朗西斯，萨曼莎；阿尔贝托·罗尔丹 相关软件： Mathematica；ORCA；铁锈… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
NESSi公司 1份文件引用(2023) 软件作者： 迈克尔·舒勒、丹尼斯·戈莱、尤塔·村上春树、尼古拉·比特纳、安德烈亚斯·赫尔曼、雨果·U·R·斯特兰德、菲利普·沃纳、马丁·埃克斯坦 相关软件： 莱曼·jl；libdlr；FFTW… 主要字段： 积分方程（45-XX）；数值分析（65-XX）；量子理论（81-XX）
grtools公司 在0个文档中引用 软件作者： Fabian A.Soto、Emily Zheng、Johnny Fonseca、F.Greg Ashby 相关软件： R；Matlab；numDeriv… 主要字段： –