PVS公司 617文件引用（1993年-2023年） 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： 辅酶q；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
马德里 139篇文献引用（1998年至2024年） 软件作者： R.Venkata Rao 相关软件： 电气；VIKOR；NBI… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
政治公众人物协议 111篇文献引用(1995–2024) 软件作者： 简·希尔斯顿；http://www.dcs.ed.ac.uk/pepa/people网站/ 相关软件： 生物-PEPA；棱镜；生物活性炭… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
微分方程.jl 76篇文献引用(2018–2024) 软件作者： C.Rackauckas，Q.Nie 相关软件： NeuralPDE.jl；朱莉娅；GitHub… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
精益 94份文件引用(2015–2024) 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： 辅酶q；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
版次 87份文件引用(1984–2023) 软件作者： 皮埃尔·莱斯坎 相关软件： RRL；AProVE；蒂罗利安… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
简单性 45篇文献引用(2002–2021) 软件作者： Wang，J.Z.，Li，J.，Wiederhold，G。 相关软件： VisualSEEk；NeTra；EMD… 主要字段： 一般拓扑（54-XX）；统计学（62-XX）；计算机科学（68-XX）…
INLA公司 在48份文件中引用(2009–2023) 软件作者： 詹妮·伊利安（Janine B.Illian）。；瑟比·西格伦·H·。；哈瓦德街 相关软件： R；R-INLA；spBayes… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
印章 39篇文献引用(1998–2023) 软件作者： 科普曼，S.J。；哈维，A.C。；Doornik，J.A。；谢泼德，A。 相关软件： SsfPack；公牛；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
JIVE公司 39篇文献引用(2013–2024) 软件作者： 埃里克·F·洛克。；凯瑟琳·霍德利。；Marron，J.S。；诺贝尔，安德鲁B。 相关软件： PMA；GitHub；OnPLS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
XGobi公司 28篇文献引用(1995–2020) 软件作者： Swayne DF、Cook D、Buja A 相关软件： R；GGobi；ggplot2… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
PicToSeek 26篇文献引用(2001–2010) 软件作者： Gevers T、Smeulders A 相关软件： VisualSEEk；NeTra；PicHunter… 主要字段： 欧氏空间（42-XX）的调和分析；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
SAP2000公司 26篇文献引用(2003–2023) 软件作者： 计算机与结构公司。 相关软件： Matlab；OpenSees；Python… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
Krylstat公司 25篇文献引用(2013–2023) 软件作者： 埃伦德·奥恩 相关软件： FRK公司；GMRFLib；mftoolx… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
TAU公司 13份文件引用(2007–2021) 软件作者： S.Shende；A.D.马洛尼 相关软件： HPCTOOLKIT；PETSc；Scalasca… 主要字段： 积分变换，运算微积分（44-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PAG公司 20篇文献引用(1996–2018) 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；爆破；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
质量控制模型 21篇文献引用(2016–2023) 软件作者： Frumento，保罗；博泰，马蒂奥 相关软件： R；quantreg；qrcmNP… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
HMMER公司 12份文件引用(2006–2019) 软件作者： Robert D.Finn、Jody Clements、Sean R.Eddy 相关软件： ClustalW；UniProt；肌肉… 主要字段： 总体主题；藏品（00-XX）；欧氏空间（42-XX）的调和分析；统计学（62-XX）…
IPSEN公司 20篇文献引用(1991–2010) 软件作者： 安迪·舒尔 相关软件： mctoolbox；LAPACK；PostgreSQL… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）…
AVL公司 17篇文献引用(2001–2021) 软件作者： AVL公司 相关软件： InterFOAM；FlowLab；OpenFOAM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MizarMode（米扎尔模式） 18篇文献引用(2006–2019) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
BGX公司 15篇文献引用(2005–2023) 软件作者： 欧内斯特·特罗（Ernest Turro）；纳塔莉亚·博奇基纳；安妮·梅特·海因；西尔维娅·理查森 相关软件： 生物导体；gcrma；ramcmc… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
FLICA-OVAP公司 17篇文献引用(2011–2023) 软件作者： – 相关软件： 澳大利亚统计局；HLLE；L2Roe… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
中国电子商务 12份文件引用(2012–2022) 软件作者： 安托万，V。；Quost，B。；马森，M.-H。；Den｛\oe｝ux，T。 相关软件： UCI-ml；科恩拉布；evclust… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
亚纳 15篇文献引用(2017–2022) 软件作者： Grüne，Lars；尤尔根·潘内克 相关软件： NMPC；WORHP；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）…
梅林 13份文件引用(1992–2015) 软件作者： 帕帕乔治奥，D.G。；德梅特罗普洛斯，I.N。；I.E.拉加里斯。 相关软件： MCL；PANMIN；托尔敏… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
派萨尔 5份文件引用(2014–2021) 软件作者： Rey SJ、Anselin L 相关软件： 蟒蛇；地理大熊猫；R、 … 主要字段： 测量和集成（28-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
RKPM2D公司 12份文件引用(2021–2023) 软件作者： Huang，T.H。；魏，H。；Chen，J.S。；M.希尔曼。 相关软件： 开放IFEM 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
EnergyPlus公司 10篇文献引用(2014–2020) 软件作者： Crawley，D.B.、Lawrie，L.K.、Winkelmann，F.C.等人。 相关软件： 蟒蛇；Eppy；原型… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
多学科发展计划 8份文件引用(2010–2020) 软件作者： T.Zito、N.Wilbert、L.Wiskott、P.Berkes 相关软件： 蟒蛇；数字Py；科学… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
MTS公司 6篇文献引用(2016–2023) 软件作者： R.S.Tsay先生 相关软件： R；变量；RcppArmadillo… 主要字段： 统计学（62-XX）；数值分析（65-XX）；经典热力学，传热（80-XX）…
OpenGeoProver（OpenGeoProvider） 12份文件引用(2015–2023) 软件作者： Predrag Janicic公司；伊万·彼得罗维奇 相关软件： GCLC；GEX；GeoGebra… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；几何（51-XX）…
SIMPL公司 12份文件引用(2004–2022) 软件作者： 伊奥努·阿隆；约翰·胡克（John N.Hooker）。；Yunes，Tallys H。 相关软件： SCIP；SCIL；MIPLIB… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
DEGseq公司 9份文件引用(2012–2018) 软件作者： 王力坤；冯志兴；王熙；王晓沃；张学功 相关软件： 边缘R；生物导体；DEseq… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
镶嵌物 8份文件引用(2020–2023) 软件作者： 芬恩·林格伦；等。 相关软件： 施帕斯塔特；R；INLA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
纯度过滤 在11份文件中引用(1997–2022) 软件作者： 阿尔班Quadrat 相关软件： 矿石模块；homalg；单数… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；几个复变量和分析空间（32-XX）…
FESTA公司 10篇文献引用(1999–2012) 软件作者： Paulino，G.H。；梅内泽斯，I.F.M。；Cavalcante Neto，J.B。；玛莎，L.F。 相关软件： ABAQUS/标准；PLTMG公司 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
海狮 7份文件引用(2012–2019) 软件作者： Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件： 天基信息平台；卡拉；APE… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
公共回路 9份文件引用(1986–2021) 软件作者： Bobrow博士。；Kahn，K。；Kiczales，G。；Masinter，L。；斯特菲克，M。；Zdybel，F。 相关软件： 艾菲尔铁塔；Smalltalk；LISP… 主要字段： 组合数学（05-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Go-ICP公司 9份文件引用(2015–2023) 软件作者： 杨蛟龙、李洪东、迪伦·坎贝尔、贾云德 相关软件： ShapeNet；3DMatch；SIFT… 主要字段： 几何（51-XX）；统计学（62-XX）；数值分析（65-XX）…
PIROCK公司 9份文件引用(2013–2023) 软件作者： 阿西尔·阿卜杜勒；吉尔斯·维尔马特 相关软件： 罗德斯；RKC；S-ROCK… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）…
一阵 8份文件引用(2002–2016) 软件作者： Rognlien，T.D。；徐小强。；辛德马什，A.C。 相关软件： 磁粉检测；投票；凯利… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；数值分析（65-XX）…
COBRApy公司 6篇文献引用(2015–2024) 软件作者： Ali Ebrahim、Joshua A Lerman、Bernhard O Palsson、Daniel R Hyduke 相关软件： CPLEX；COBRA工具箱；古罗比… 主要字段： 偏微分方程（35-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
Jnurbs公司 7份文件引用(2007–2017) 软件作者： 张雪峰，Ganesh Subbarayan 相关软件： ISOGAT；NLPQL公司 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；经典热力学，传热（80-XX）
分子网 4份文件引用(2020–2023) 软件作者： 吴振琴、拉姆松达尔、埃文·范伯格、约瑟夫·戈麦斯、卡莱布·杰尼斯、阿内什·S·帕普、卡尔·莱辛、维杰伊·潘德 相关软件： PyTorch；Rdkit；锌… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SERK2v3系列 8份文件引用(2016–2020) 软件作者： Kleefeld，B。；Martín-Vaquero，J。 相关软件： SERK2；RKC；RODAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
芯片 7份文件引用(2008–2022) 软件作者： J.J.Alonso、S.Hahn、F.Ham、M.Herrmann、G.Iacarino、G.Kalitzin、P.LeGresley、K.Mattsson、G.Medic、P.Moin、H.Pitsch、J.Schluter、M.Svard、E.Van der Weide、D.You、X.Wu 相关软件： 序曲；奥根；溢流… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
节点py 6篇文献引用(2014–2022) 软件作者： 大卫·凯奇森 相关软件： Rk-opt；GitHub；RODAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
奥卡 6篇文献引用(2003–2020) 软件作者： Sutherland P、Rossini A、Lumley T、Lewin-Koh N、Dickerson J、Cox Z、Cook D 相关软件： R；XGobi；GGobi… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
TOTEM公司 6篇文献引用(2009–2013) 软件作者： Leduc G、Abrahamsson H、Balon S、Bessler S、D'Arienzo M、Delcourt O、Domingo-Pascual J、Cerav-Erbas S、Gojmerac I、Masip X、Pescaph A、Quoitin B、Romano S、Salvatori E、SkivéE F、Tran H、Uhlig S、H 相关软件： 巢穴；SNDlib；OsiSolver公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
生物网络 5份文件引用(2014–2023) 软件作者： Beisser，D。；Klau，G.W。；Dandekar，T。；米勒，T.，迪特里克，M 相关软件： 生物导体；glmnet；gcrma… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
鲍勃++ 6篇文献引用(2010–2022) 软件作者： Djerrah，A.、Le Cun，B.、Cung，V.D.、Roucairol，C。 相关软件： 磁粉检测；交响曲；卵石… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
动力系统工具箱 6篇文献引用(2015–2021) 软件作者： 艾蒂安·库切 相关软件： 自动；AUTO-07P；COCO… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；粒子力学与系统（70-XX）…
叶绿素 5份文件引用(2017–2022) 软件作者： Michael D.Karcher、Julia A.Palacios、Shiwei Lan、Vladimir N.Minin 相关软件： 猿；阿达普雷夫；Nextstrain… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
阿尔列金 5份文件引用(2002–2016) 软件作者： Excoffier，L。；拉瓦尔，G。；施耐德，S。 相关软件： PHYLIP；LAMARC公司；快速煤… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
球 5份文件引用(2000–2011) 软件作者： O.Kohlbacher，H.P.Lenhof等人。 相关软件： LEDA；网格实验室；Netgen… 主要字段： 计算机科学（68-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）…
网格实验室-D 4份文件引用(2014–2022) 软件作者： D.P.Chassin、K.Schneider、C.Gerkensmeyer 相关软件： 电子；yaml-cpp；犰狳… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
iLaplace公司 5份文件引用(2015–2023) 软件作者： 鲁利（Ruli）、埃利斯（Erlis）；尼古拉·萨托里（Nicola Sartori）；劳拉·文图拉 相关软件： R；JAGS；fda（R）… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）
伊塔卡牌手表 5份文件引用(2011–2015) 软件作者： Cámara，J。；马汀，J.A。；Salaün，G。；库博，J。；Ouederni，M。；运河，C。；皮门特尔，E。 相关软件： 莫德；LTSA-WS；WSAT… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
iTOUGH2公司 4份文件引用(1997–2020) 软件作者： S.Finsterle；等。 相关软件： TOUGH（艰难）；MPiTOUGH2；灵敏度… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
发霉 5份文件引用(2000–2010) 软件作者： K.Refson公司 相关软件： LPMD；数据链路_ POLY_3 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；量子理论（81-XX）…
NETPAD网垫 5份文件引用(1994–2018) 软件作者： Nathaniel院长；莫尼卡·梅文坎普；克莱德·蒙玛。 相关软件： Cabri几何结构；几何画板；GeoGebra… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
诺恩基准 5份文件引用(2017–2020) 软件作者： NTNU IO中心 相关软件： GitHub；MRST-AD；Matlab… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
TIMESAT公司 4份文件引用(2009–2022) 软件作者： Jönsson P，Eklundh L 相关软件： R；卢比；动物园… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
战斗 4份文件引用（2009-2011年） 软件作者： Mavrotas，G。；Georgopoulou，E。；Mirasgedis，S。；萨拉菲迪斯，Y。；拉拉斯，D。；V.Hontou。；北卡罗来纳州加基斯。 相关软件： GAMS；阿德拉斯；IPSSIS公司 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
分离根 4份文件引用(2017–2021) 软件作者： Chen，Parry Y。；尤纳坦·西万 相关软件： 算法699；EZERO公司；ZEAL… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；光学、电磁理论（78-XX）…
通用航空公司 2份文件引用(2006–2017) 软件作者： Rzhetsky A、Iossifov I、Koike T、Krauthammer M、Kra P等人 相关软件： 突变查找器；多重折叠；基因卡… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
HOSS（主机） 4份文件引用(2021–2023) 软件作者： Knight，E.E。；鲁吉尔，E。；雷，Z。；尤瑟，B。；Chau，V。；S.H.博伊斯。 相关软件： AceFEM；长颈鹿；联系人：… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
HULLAC公司 3份文件引用(2010–2021) 软件作者： A.Bar-Shalm、M.Klapisch、J.Oreg 相关软件： FLYCHK；ABAKO/RAPCAL；SPECT3D… 主要字段： 流体力学（76-XX）；光学、电磁理论（78-XX）；统计力学，物质结构（82-XX）
图像J2 1份文件引用(2019) 软件作者： Curtis T.Rueden、Johannes Schindelin、Mark C.Hiner、Barry E.DeZonia、Alison E.Walter、Kevin W.Eliceiri 相关软件： CellProfiler；图像J；图像库2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
LySHA公司 4份文件引用(2012–2021) 软件作者： Duggirala，Parasara Sridhar；萨扬·密特拉 相关软件： 凯伊迈拉；凯伊迈拉X；流量*… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
SELM公司 4份文件引用(2016–2023) 软件作者： 王，Y。；Sigurdsson，J.K。；P.J.阿兹伯格。 相关软件： 曲面演化器；SymPy；灯… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
AGL评分 3份文件引用(2021–2022) 软件作者： D.Nguyen；G.-W.魏 相关软件： 拓扑网；CliqueTop；HERMES… 主要字段： 微分几何（53-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
生物质量管理 1份文件引用(2022) 软件作者： A.纳尔迪。 相关软件： PyBoolNet；BoolNet；Potassco… 主要字段： 阶、格、有序代数结构（06-XX）；生物学和其他自然科学（92-XX）
CIDANE公司 2份文件引用(2020–2022) 软件作者： Stefan Canzar、Sandro Andreotti、David Weese、Knut Reinert、Gunnar W Klau 相关软件： HISAT；鲑鱼；古罗比… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
德利 2份文件引用(2016–2017) 软件作者： T.Rausch、T.Zichner、A.Schlattl、A.M.Stutz、V.Benes、J.O.Korbel 相关软件： 品德尔；LUMPY；wgsim… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
EthoVision公司 2份文件引用(2010–2015) 软件作者： L P Noldus、A J Spink、R A Tegelenbosch 相关软件： 跟踪器；B-SOiD；创伤… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
GFIND公司 1份文件引用(2010) 软件作者： Masseroli M.、Martucci D.、Pinciroli F。 相关软件： KEGG；CLENCH公司；GO工具箱… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
GOSemSim公司 1份文件引用(2016) 软件作者： 余光创、李飞、秦一德、薄晓晨、吴一波、王胜琦 相关软件： 剂量；R；DisSetSim… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
HyRiM公司 3份文件引用(2018–2022) 软件作者： Rass，S。；科尼格，S。 相关软件： GADAPT公司；R（右） 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
项目工具包 2份文件引用(2015–2017) 软件作者： ITEM软件（美国）公司 相关软件： 棱镜；MARCA；HyperStar… 主要字段： 概率论与随机过程（60-XX）；运筹学、数学规划（90-XX）
K加热器 3份文件引用(2012) 软件作者： 马克·芬塔默（Marc Finthammer）；马蒂亚斯·蒂姆 相关软件： 炼金术；ProbLog（问题日志） 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PiXL系列 1份文件引用(2007) 软件作者： 玛丽亚·德尔马·加拉多（del Mar Gallardo）；马丁内斯，杰苏斯；佩德罗·梅里诺；努涅斯，巴勃罗；埃内斯托·皮门特尔 相关软件： 凯撒；CAESAR_SOLVE公司；班德拉… 主要字段： 计算机科学（68-XX）
RAFT公司 3份文件引用(2002–2010) 软件作者： 奇拉卡帕蒂 相关软件： ADIFR；LEHGC；CORE2D… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
RLPy公司 2份文件引用(2020–2021) 软件作者： Geramifard，阿尔博茨；克里斯托夫·丹恩；罗伯特·H·克莱因。；威廉·达布尼；怎么了，乔纳森·P。 相关软件： OpenAI健身房；GitHub；Python… 主要字段： 计算机科学（68-XX）
VeriStar公司 3份文件引用（2012年至2016年） 软件作者： 戈登·斯图尔特；Lennart Beringer；安德鲁·W·阿佩尔。 相关软件： 辅酶q；jStar公司；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ADTT公司 2份文件引用(2022–2023) 软件作者： X.Wang、L.T.Yang、Y.Wang和L.Ren、M.J.Deen 相关软件： 分裂；塔克MPI；TKPSVD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
放大器 2份文件引用(2015–2016) 软件作者： Kevin T.Clarno、Bobby Philip、William K.Cochran、Rahul S.Sampath、Srikanth Allu、Pallab Barai、Srdjan Simunovic、Mark A.Berrill、Larry J.Ott、Sreekanth Pannala、Gary A.Dilts、Bogdan Mihaila、Gokhan Yesilyurt、Jung Ho Lee、James E.Banfield 相关软件： COBRA-TF；比例尺6.2；DENOVO… 主要字段： 数值分析（65-XX）；经典热力学，传热（80-XX）；统计力学，物质结构（82-XX）
BMaude公司 2份文件引用(2002–2004) 软件作者： 何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；OBJ咖啡馆；OBJ3型 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
德尔塔J 2份文件引用(2018) 软件作者： Koscielny，J.、Holthusen，S.、Schaefer，I.、Schulze，S.和Bettini，L.、Damiani，F。 相关软件： VerCors；酯类；毒蛇… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
戴纳索 2份文件引用(2000–2002) 软件作者： 彭彤；张东华。；王敦友；李一敏；张建中H。 相关软件： VENUS96；VARIFLEX公司；POTLIB… 主要字段： 数值分析（65-XX）；量子理论（81-XX）
EPK修复 2份文件引用(2015) 软件作者： A.Knapp、N.Koch、M.Wirsing、J.Duckeck、R.Lutze、H.Fritzsche、D.Timm、P.Closhen、M.Frisch、H.-J.Hoffmann、B.Gaede、J.Schneeberger、H.Stoyan、A.Turk 相关软件： 赫茨；ACSL；套管，套管 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）