组织环境信息系统 5349份文件引用(1973–2025) 软件作者： 尼尔·J·A·斯隆。；OEIS基金会。 相关软件： SageMath；Mathematica；间隙… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
UCI-毫升 3034文件引用（1995年至2024年） 软件作者： David Aha、Patrick Murphy、Christopher Merz、Eamonn Keogh、Cathy Blake、Seth Hettich、David Newman 相关软件： C4.5；LIBSVM；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
麦考利2 2263份文件引用(1988–2024) 软件作者： 丹尼尔·格雷森。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
PETSc公司 1787年文献引用(1996–2024) 软件作者： S.Balay、W.D.Gropp、L.C.McInnes、B.F.Smith 相关软件： FEniCS；流行性腮腺炎；炒作… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
科学Py 引用于822份文件(2005–2024) 软件作者： Jones，E.、Oliphant，T.、Peterson，P.等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
开放式泡沫 665份文件引用(2007–2024) 软件作者： OpenCFD有限公司（ESI集团） 相关软件： 流利；github；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
Uppaal公司 引用于568份文件(1990–2023) 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 相关软件： 克罗诺斯；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
阿尔戈68 280篇文献引用(1969–2019) 软件作者： van Wijngaarden，A.作者简介；梅勒鲁，B.J。；Peck，J.E.L。；科斯特，C.H.A。；辛佐夫，M。；Lindsey，C.H。；Meertens，L.G.L.T。；R.G.菲斯克。 相关软件： ALGOL 60；Simula 67；Ada95… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
LEDA公司 266篇文献引用(1990–2023) 软件作者： 库尔特·梅尔霍恩；纳什，斯特凡 相关软件： CGAL；CPLEX；升压… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BoomerAMG公司 224篇文献引用(2002–2023) 软件作者： 范·埃姆登（Van Emden Henson）；尤里克·梅耶尔·杨 相关软件： 炒作；PETSc；ML… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
NQTHM公司 149份文件引用(1979–2022) 软件作者： 罗伯特·S·博伊尔。；J.Strother摩尔 相关软件： HOL；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；群论和推广（20-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
XSB公司 139篇文献引用(1995–2022) 软件作者： Sagonas，K.F.、Swift，T.、Warren，D.S.、Freire，J.、Rao，P。 相关软件： YAP-Prolog；平滑；B-Prolog… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
LISP公司 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
差速器组件 113篇文献引用(1996–2023) 软件作者： 布鲁塞特，是马格纳斯；汉斯·彼得·兰坦根 相关软件： PETSc；LAPACK；UG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
宾州树库 57篇文献引用(1996–2024) 软件作者： 宾夕法尼亚大学 相关软件： 亚当；WordNet；BERT… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
图表 113篇文献引用(2013–2022) 软件作者： Sommer，克里斯蒂安 相关软件： 算法97；GraphChi；Pregel… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
重新查看 106篇文献引用(1991–2023) 软件作者： 鲁道夫·伯哈默（Rudolf Berghammer）；施密特，冈瑟；温特，迈克尔 相关软件： Isabelle/HOL；证明人9；Rath… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
GiNaC公司 92份文件引用(2002–2024) 软件作者： 欧洲专利局（EPO）；C.W.Bauer、A.Frink、R.Kreckel 相关软件： 表格；雷杜泽；火灾… 主要字段： 复变量的函数（30-XX）；几何（51-XX）；数值分析（65-XX）…
开放式多媒体接口 79份文件引用(2004–2023) 软件作者： http://www.open-mpi.org/about/members网站/ 相关软件： CUDA；磁粉检测；MPI/MPICH… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
马蒂塔 78篇文献引用(2007–2024) 软件作者： 安德里亚·阿斯佩蒂；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
heapsort公司 73篇文献引用(1980–2023) 软件作者： 威廉姆斯JWJ 相关软件： 快速分拣；MA57；HSL… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
弗林斯通 64篇文献引用(2013–2023) 软件作者： 路易斯·马丁内斯；罗莎·M·罗德里格斯。；弗朗西斯科·埃雷拉；Estrella FJ，Espinilla M公司 相关软件： AFRYCA；PROMETHEE-MD；致敬… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BGL公司 59篇文献引用(2007–2023) 软件作者： JG Siek、LQ Lee、A Lumsdaine 相关软件： 促进；增强C++库；CGAL… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
标准操作手册 39篇文献引用(2001–2022) 软件作者： Esa Alhoniemi、Johan Himberg、Juha Parhankangas、Juha Vesanto 相关软件： Matlab；kohonen；LIBSVM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；流体力学（76-XX）…
FUN3D公司 57篇文献引用(2009–2023) 软件作者： 比德隆，R.T。；卡尔森·J·R。；Derlaga，J.M。；格诺夫，P.A。；哈蒙德，D.P。；琼斯，W.T。；克莱布，B。；Lee-Rousch，E.M。；尼尔森，E.J。；Park，文学硕士。；Rumsey，C.L。；托马斯·J.L。；伍德，W.A。 相关软件： Spalart-Allmaras；USM3D；NSU3D… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl公司；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
dcc公司 46篇文献引用(2012–2023) 软件作者： 乌韦·诺曼 相关软件： ADOL-C；锥体；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
C-CoRN公司 41篇文献引用(2004–2023) 软件作者： 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；数值分析（65-XX）…
清爽 35篇文献引用(1994–2023) 软件作者： M Heiner、M Herajy、F Liu、C Rohr、M Schwarick 相关软件： 玛丽；CPN/工具；日晷… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）…
斐济 30篇文献引用(2016–2023) 软件作者： Schindelin，J.等人 相关软件： 图像J；蟒蛇；U-Net… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
兹拉姆 41篇文献引用(1997–2020) 软件作者： 阿德里安·布伦格尔（Adrian Brüngger）；安布罗斯·马泽塔；福田、科美；Jurg Nievergelt公司 相关软件： QAPLIB；cdd；聚乙烯… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
DDDAS系统 30篇文献引用(2008–2023) 软件作者： 弗雷德里卡·达雷马 相关软件： EnKF；亚当；Exshall… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
网格实验室 32篇文献引用(2010–2023) 软件作者： Cignoni，P.、Callieri，M.、Corsini，M.和Dellepiane，M.，Ganovelli，F.、Ranzuglia，G。 相关软件： Matlab；CGAL；ShapeNet… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；计算机科学（68-XX）…
精密路径指示器 30篇文献引用(2002–2021) 软件作者： Dongarra，J；http://icl.cs.utk.edu/papi/people/index.html 相关软件： ATLAS；PETSc；PHiPAC… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VerICS版本 34份文件引用(2005–2023) 软件作者： 兹布热兹尼（Zbrzezny，Andrzej）；沃兹纳、博·德·泽纳 相关软件： MCMAS；MCK；MOCHA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
兰德NLA 35篇文献引用(2017–2024) 软件作者： 德里尼亚斯，P。；马奥尼，M.W。 相关软件： 张量工具箱；rsvd；ARPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
gCol（色谱柱） 34份文件引用(2016–2023) 软件作者： 刘易斯，R.M.R。 相关软件： CALMA公司；irace；禁忌搜索… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；统计学（62-XX）…
MCK公司 34份文件引用(2004–2023) 软件作者： 罗恩·范德梅登；彼得·甘米（Peter Gammie）；Kai Baukus；杰里米·李；程洛；黄晓伟 相关软件： MCMAS；VerICS；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
SpiNNaker公司 19份文件引用(2015–2023) 软件作者： Furber，S.、Galluppi，F.、Temple，S.和Plana，洛杉矶。 相关软件： 神经元；派恩；巢穴… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
深色SUSY 29篇文献引用(2006–2022) 软件作者： P缆车；J Edsjö；乌利奥；L Bergström；M Schelke；E A巴尔茨 相关软件： 微囊藻；柔软；PYTHIA8… 主要字段： 代数几何（14-XX）；偏微分方程（35-XX）；量子理论（81-XX）…
最下层的 引用于27份文件(1997–2022) 软件作者： 华盛顿州克利夫兰。 相关软件： R；mixsmsn；GSM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
捕捉 30篇文献引用(1999–2019) 软件作者： 奥利弗·古德曼 相关软件： SnapPea；SnapPy；岩浆… 主要字段： \（K\）理论（19-XX）；群论与推广（20-XX）；微分几何（53-XX）…
杰斯特纳 29篇文献引用(2002–2023) 软件作者： 大卫·沃姆；帕维尔·温特；马丁·扎卡里亚森 相关软件： 斯坦利布；CPLEX；DIMACS… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；几何（51-XX）…
探戈 25篇文献引用(2008–2023) 软件作者： 伯金，E.G。；J.M.马丁内斯。 相关软件： 阿尔根坎；Ipopt；兰斯洛… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
CHUFFED公司 24篇文献引用(2016–2024) 软件作者： Chu，G.、Stuckey，P.J.、Schutt，A.、Ehlers，T.、Gange，G.和Francis，K。 相关软件： 微量锌；CPLEX；Gecode… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
悬崖数学 23篇文献引用(2012–2021) 软件作者： 勒内肖特；斯泰普斯（G.Stacey Staples） 相关软件： CliffOC；CliffSymNil；数学… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
达卡波 15篇文献引用(2009–2023) 软件作者： Blackburn，S.M.、Garner，R.、Hoffman，C.、Khan，A.M.、McKinley，K.S.、Bentzur，R.，Diwan，A.、Feinberg，D.、Frampton，D.、Guyer，S.Z.、Hirzel，M.、Hosking，A.、Jump，M.，Lee，H.、Moss，J.E.B.、Phansalkar，A.、Stefanovic，D.、VanDrunen，T.、von Dincklage，D.和Wiedermann，B 相关软件： 烟尘；方面J；SPECjvm2008… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
libexact数据库 23篇文献引用(2008–2022) 软件作者： P.Kaski和O.Pottonen 相关软件： 鹦鹉螺；帝国；痕迹… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；群论和推广（20-XX）…
LPL软件 20篇文献引用(2000–2023) 软件作者： Dave Barker Plummer、Jon Barwise、John Etchemendy；Albert Liu、Michael Murray、Emma Pease 相关软件： EPGY；减少；OTTER… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
UniTESK公司 14篇文献引用(2002–2015) 软件作者： 俄罗斯科学院系统编程研究所 相关软件： SpecExplorer；投掷；可爱… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Z3str3号机组 19份文件引用(2018–2023) 软件作者： Berzish，M.、Ganesh，V.、Zheng，Y。 相关软件： z3；CVC4；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
克里夫OC 20篇文献引用(2006–2021) 软件作者： 勒内肖特；斯泰普斯（G.Stacey Staples） 相关软件： 悬崖数学；CliffSymNil；数学… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）…
头晕 16篇文献引用(2007–2019) 软件作者： Ramsey，S.、Orrell，D.、Bolouri，H。 相关软件： 棱镜；生物-PEPA；Matlab… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
深度数学 16篇文献引用(2017–2023) 软件作者： Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban 相关软件： E定理证明器；米扎尔；谜… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；计算机科学（68-XX）
霍姆4PS-3 16篇文献引用(2014–2024) 软件作者： 陈天然；Lee，Tsung Lin；李天恩 相关软件： PHCpack；贝尔蒂尼；数字代数几何… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
拉丁语 17篇文献引用（2011年至2021年） 软件作者： Codescu，Mihai；霍罗扎尔、富利亚；Michael Kohlhase；莫萨科夫斯基（Till Mossakowski）；弗洛里安·拉贝 相关软件： MMT；OMDoc；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
QROOT公司 17篇文献引用(1993–2022) 软件作者： M.L.乔杜里 相关软件： MCQueue；QPACK；枫树 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
轨道库 16篇文献引用(2008–2021) 软件作者： 安德烈·普拉泽 相关软件： z3；凯伊迈拉；QEPCAD… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
方庭 15篇文献引用(2006–2020) 软件作者： 科特迪瓦贝尔班；亨利·吉尔伯特；雅克·帕塔林 相关软件： 麦克利埃塞；eSTREAM；ZHFE… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
欧洲航空航天局 8份文件引用(2001–2020) 软件作者： 随机优化和自然启发计算 相关软件： CUDA；欧洲法院；JCLEC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
FDLIB公司 14篇文献引用(2001–2019) 软件作者： C.波兹里基迪斯。 相关软件： Matlab公司 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；流体力学（76-XX）…
马特拉布 14篇文献引用(1969–2005) 软件作者： 恩格曼，C。 相关软件： 减少；伊斯兰教；数学… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
eSTOMP公司 13份文件引用(2008–2022) 软件作者： – 相关软件： 跺脚；开放地理系统；艰难… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
芬斯勒 13份文件引用(2001–2021) 软件作者： Rutz，Solange F。；葡萄牙，雷纳托 相关软件： 枫树；芬斯勒；NF… 主要字段： 常微分方程（34-XX）；微分几何（53-XX）；计算机科学（68-XX）…
伽利略 10篇文献引用(2000–2017) 软件作者： Joanne Bechta Dugan、Kevin J.Sullivan、David Coppit 相关软件： NuSMV；DFTCalc；DIFtree… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
卡米瓦艾 13份文件引用(2003–2018) 软件作者： Hitzer，埃克哈德医学博士。 相关软件： CLUCalc；盖根；GABLE… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）；几何（51-XX）…
米兰 13份文件引用(2010–2020) 软件作者： 达布罗夫斯基，M。；克罗特凯夫斯基，M。；施密德·D·W 相关软件： Matlab；前88米；顶部.m… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
tawSolver软件 12份文件引用(1962–2022) 软件作者： 坦比尔·艾哈迈德；奥利弗·库尔曼 相关软件： 数学检查；山猫；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
GAVS公司 10篇文献引用(2005–2022) 软件作者： Cheng，Chih-Hong；巴克尔（Christian Buckl）；Michael Luttenberger；阿洛伊斯·诺尔 相关软件： 主旨；PRISM-名称；棱镜… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
几何导师 4份文件引用(1986–2007) 软件作者： J.R.安德森、C.F.波义耳、G.约斯特。 相关软件： 门托尼耶；巴赫拉；CHYPRE… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
伊利诺伊GRMHD 11份文件引用(2015–2023) 软件作者： Etienne，Zachariah B。；Paschalidis，瓦西里奥斯；罗兰·哈斯（Roland Haas）；菲利普·莫斯塔；斯图亚特·夏皮罗。 相关软件： 威士忌MHD；爱因斯坦工具包；GRHydro… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；流体力学（76-XX）…
MCF类 12份文件引用(2004–2022) 软件作者： 安东尼奥·弗朗吉奥尼；安东尼奥·曼卡 相关软件： 放松IV；CPLEX；RELAX4… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
MDC-椭圆 12份文件引用(2010–2022) 软件作者： D.S.Lopes、M.T.Silva、J.A.Ambrósio、P.Flores 相关软件： 联系人；照明设备；ABAQUS… 主要字段： 测量和集成（28-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
神经卫星 12份文件引用(2019–2023) 软件作者： 丹尼尔·塞尔萨姆；马修·拉姆（Matthew Lamm）；班尼茨，贝内迪克特；梁佩西；莱昂纳多·德·莫拉；大卫·L·迪尔。 相关软件： 萨齐拉；古罗比；亚当… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
铺路机 11份文件引用(2003–2022) 软件作者： Michael R.Bussieck。；Steven P.Dirkse。；斯特凡·维格尔斯克 相关软件： GAMS；邦明；镜头… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SqFreeEVAL公司 11份文件引用(2012–2023) 软件作者： 伯尔，迈克尔·A。；费利克斯·克莱默 相关软件： 隔离；na20；ANewDsc… 主要字段： 代数几何（14-XX）；实函数（26-XX）；复变量函数（30-XX）…
混合系统实验室 11份文件引用(2021–2024) 软件作者： 里卡多·桑费利斯（Ricardo G.Sanfelice）。 相关软件： github；HyEQ；YALMIP… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；系统论；对照（93-XX）
辛迪JS 9份文件引用(2016–2021) 软件作者： 冯·盖格恩，马丁；乌尔里奇·科滕坎普；里希特·盖伯特（Jürgen Richter-Gebert）；迈克尔·斯特罗贝尔 相关软件： 灰姑娘；GeoGebra；CindyGL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
ExaGeoStat公司 8份文件引用(2018–2023) 软件作者： 阿卜杜拉，S。；Ltaief，H.等人。；孙，Y。；Genton，M.G。；凯斯，D.E。 相关软件： R；FRK公司；ExaGeoStatR… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
聚会 10篇文献引用（2000年至2020年） 软件作者： R.Preis、R.Diekmann 相关软件： 查科；刻痕；乔斯特尔… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
足球服务器 引用于3份文件(2007–2010) 软件作者： 野田佳彦，H.松原，K.平木，I.弗兰克。 相关软件： 社会可视化者；岛国；CCalc… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
BoSy公司 9份文件引用(2019–2021) 软件作者： 彼得·费蒙维尔（Peter Faymonville）；芬克贝纳（Bernd Finkbeiner）；Leander Tentrup公司 相关软件： 条纹；SPOT；相思树+… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DOT标记 9份文件引用(2019–2023) 软件作者： Jörn Schrieber、Dominic Schuhmacher、Carsten Gottschlich 相关软件： EMD；Wasserstein GAN；R、 … 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
JCM套件 引用于3份文件(2010–2024) 软件作者： JCMwave；S.Burger、L.Zschiedrich、J.Pomplun、F.Schmidt 相关软件： 溪流；数字Py；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
校对工具 8份文件引用(2013–2023) 软件作者： C.Dunchev、A.Leitsch、T.Libal、M.Riener、M.Rukhaia、D.Weller、B.Woltzenlogel古 相关软件： TPTP；GAPT；CERES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿德-4 6篇文献引用(1996–2017) 软件作者： Jean Thioulouse；丹尼尔·切塞尔；Sylvain Dole´dec；珍妮·米歇尔·奥利维尔 相关软件： mixOmics；CCA；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
BACCO公司 2份文件引用(2009–2016) 软件作者： 汉金RKS 相关软件： R；DiceDesign公司；DiceKriging… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；地球物理学（86-XX）…
仙女座 6篇文献引用(2018–2023) 软件作者： Bauer，A。；Gilbert，G。；Haselwarter，P。；普雷特纳，M。；斯通，C。 相关软件： Coq；精益；dedukti… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
希格拉 6篇文献引用(2020–2023) 软件作者： B.佩雷特；G.Chierchia；J.库斯蒂；圣吉马朗斯；Y.Kenmochi；L.纳吉曼 相关软件： PyTorch公司；亚当；拓扑工具包… 主要字段： 代数拓扑（55-XX）；流形和细胞复合体（57-XX）；计算机科学（68-XX）…
糖囊最小化器 引用于7份文件(2020–2021) 软件作者： Fischer，马雷克 相关软件： 组织环境信息系统；Mathematica；apTreeshape… 主要字段： 组合数学（05-XX）；测量和集成（28-XX）；生物学和其他自然科学（92-XX）
SHRAD公司 引用于7份文件(2005–2023) 软件作者： 阿明·法朱迪安 相关软件： MPFI；ValEncIA-IVP；mctoolbox… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Specomp公司 引用于7份文件(2001–2010) 软件作者： 阿斯洛特，维沙尔；马克斯·多梅卡；鲁道夫·艾根曼；格雷格·盖特纳（Greg Gaertner）；韦斯利·琼斯。 相关软件： 溅射-2；OmniRPC；AVIO… 主要字段： 计算机科学（68-XX）
自动变速器2 6篇文献引用(2016–2019) 软件作者： 詹伯华 相关软件： Isabelle/HOL；伊莎贝尔；Mizar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
dCAQE公司 6篇文献引用（2019年至2022年） 软件作者： Tentrup，Leander；拉贝，马库斯·N。 相关软件： HQPre；iProver；CAQE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）