岩浆 4007文件引用(1994–2024) 软件作者： W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件： 间隙；SageMath；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
间隙 3676份文件引用(1990–2024) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
SageMath公司 2596份文件引用(2002–2024) 软件作者： 贤明的开发商；威廉·斯坦因；大卫·乔伊纳（David Joyner）；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；GitHub… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
单一 引用于1650份文件(1991–2024) 软件作者： Wolfram Decker；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
HLLE公司 引用于772份文献(1983–2024) 软件作者： Harten，Amiram；Peter D.Lax。；范·利尔，布拉姆 相关软件： HE-E1GODF；澳大利亚统计局；RIEMANN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PARI/GP公司 744份文件中引用(1992–2024) 软件作者： 亨利·科恩；卡里姆·贝拉巴斯（Karim Belabas）；PARI组 相关软件： 岩浆；SageMath；间隙… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
mf工具箱 751份文件引用(2008–2024) 软件作者： N.J.海姆 相关软件： mctoolbox；Matlab；MATLAB扩展… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）…
鲁棒基地 570份文件引用(1992–2024) 软件作者： 彼得·卢梭；克里斯托夫·克劳斯；瓦伦丁·托多罗夫、安德烈亚斯·鲁克斯图尔、马蒂亚斯·萨利比安·巴雷拉、托比亚斯·韦贝克、曼努埃尔·科勒、马丁·梅克勒 相关软件： R；RobStatTM；rrcov… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
引导库 518份文件引用(1997–2024) 软件作者： 安吉洛·坎蒂；Davison，A.C.Au；D.V.欣克利。 相关软件： 引导；R；ismev… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
UMDES公司 442份文件引用(1996–2023) 软件作者： 克里斯托斯·卡桑德拉斯（Christos G.Cassandras）；斯特凡·拉福琼 相关软件： Supremica；libFAUDES；TCT… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GMRFLib公司 408份文件引用(1991–2024) 软件作者： 哈瓦德街；莱昂哈德·赫尔德 相关软件： R；spBayes；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
GloptiPoly公司 360篇文献引用(2003–2024) 软件作者： 迪迪埃·亨利安（Didier Henrion）；让-伯纳德·拉塞尔；约翰·勒夫伯格 相关软件： SeDuMi公司；YALMIP；Sostools… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺，何塞·阿尔弗雷多；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
LMFDB公司 273份文件中引用(2014–2024) 软件作者： http://www.lmfdb.org/确认 相关软件： 岩浆；SageMath；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；特殊功能（33-XX）…
相位提升 272份文件引用(2012–2024) 软件作者： 伊曼纽尔·坎迪斯。；尤妮娜·C·埃尔达尔。；托马斯·斯特罗默（Thomas Strohmer）；弗拉迪斯拉夫·沃罗宁斯基 相关软件： 导缆器流量；PhaseMax；GESPAR… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
记录仪 178篇文献引用(2010–2024) 软件作者： Gábor Csárdi、Tamás Nepusz、Szabolcs Horvát、Vincent Traag、Fabio Zanini 相关软件： R；蟒蛇；ggplot2… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
雪佛兰 266份文件引用(1994–2024) 软件作者： Geck，Meinolf；希斯，格哈德；吕贝克，弗兰克；冈特，马尔；格茨·普菲弗 相关软件： 间隙；岩浆；SageMath… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
C解析 257篇文献引用(2006–2023) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： 稀疏矩阵；Matlab；symrcm… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
HYPLAS公司 235篇文献引用(1996–2023) 软件作者： De Souza Neto EA、PerićD、Owen DRJ 相关软件： 阿巴夸斯；FEAPpv；Matlab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： 辅酶q；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
NTRU公司 214篇文献引用(1998–2023) 软件作者： 杰弗里·霍夫斯坦；吉尔·皮弗；约瑟夫·西尔弗曼（Joseph H.Silverman）。 相关软件： NTRU签名；BKZ；NTL… 主要字段： 数论（11-XX）；交换代数（13-XX）；计算机科学（68-XX）…
SATO公司 190份文件引用(1996–2023) 软件作者： 张，H 相关软件： 糠；伯克敏；PSATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
动力学 186篇文献引用(1994–2022) 软件作者： 海伦娜·E·努斯。；詹姆斯·约克（James A.Yorke）。 相关软件： 自动；HomCont；数学… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；粒子力学与系统（70-XX）…
LiE公司 180篇文献引用(1993–2024) 软件作者： A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件： Mathematica；岩浆；麦考利2… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
高尔夫 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： 康果洛；AgentSpeak；METATEM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
重新记录 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯特姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
传奇 173篇文献引用(2015–2024) 软件作者： Aaron Defazio、Francis Bach、Simon Lacoste-Julien 相关软件： 阿达格拉德；LIBSVM；菲尼托… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning）、习宏伟（Hongwei Xi） 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
第3264册示例 159份文件引用(2015–2024) 软件作者： 查利·克里斯曼；戴维·艾森巴德（David Eisenbud）；乔·哈里斯 相关软件： 麦考利2号；GitHub；同伦连续… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；动力系统和遍历理论（37-XX）…
坎特/卡什 157篇文献引用(1991–2022) 软件作者： 安妮塔·克拉曼（Anita Krahman）、卡罗琳·贾斯特（Carolin Just）、克劳斯·菲克尔（Claus Fieker）、弗洛里安·赫伊（Florian Heß）、何塞·门德斯（Jose Mendez）、吉尔根·克吕内斯（Jürgen Klüners）、马库斯·瓦格纳（Marcus Wagner）、迈克尔·波赫斯特（Michael Pohst）；前作者：Andreas Hoppe、Carsten Friedrichs、Georg Baier、Harald Bartel、Hartmut Bauer、Johannes Graf v.Schmettow、Katharina Geißler、Klaus Wildanger、Maike Henningsen、Mario Daberkow、Martin Schörnig、Max Jüntgen KANT集团、Institut für Mathematik、柏林理工大学 相关软件： 岩浆；枫树；PARI/GP… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
Wirter流量 157篇文献引用(2015–2024) 软件作者： Emmanuel Candes、Li Xiaodong、Mahdi Soltanolkotabi 相关软件： 相位提升；PhaseMax；GESPAR… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
费恩规则 145篇文献中引用(2010–2024) 软件作者： A.Alloul、N.D.Christensen、C.Degrade、C.Duhr、B.Fuks 相关软件： FeynArts；MadGraph；PYTHIA8… 主要字段： 概率论与随机过程（60-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
疯子 139篇文献引用(1998–2024) 软件作者： R.Venkata Rao 相关软件： 电气；VIKOR；NBI… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
自动图形X 146篇文献引用(1999–2024) 软件作者： 吉尔斯·卡波罗西 相关软件： 涂鸦；图形；nauty… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
形状 130篇文献引用(2019–2024) 软件作者： 斯科特·伦德伯格（Scott Lundberg），苏茵·李（Su-In Lee） 相关软件： XGBoost；Scikit；UCI-ml… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
J工具 142篇文献引用(2008–2024) 软件作者： 克劳德·本扎肯；纳迪娅·布劳纳 相关软件： 组织环境信息系统；MiniSat；GitHub… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BiCG选项卡 136篇文献引用(1989–2023) 软件作者： Sleijpen，G.L.G。；范德福斯特，H.A。；D.R.福克马。 相关软件： CGS；GpBiCg；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
能量 130篇文献引用(2009–2024) 软件作者： 斯泽凯利，Gábor J。；玛丽亚·里佐。 相关软件： R；MVN；mvShapiroTest… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
LERS公司 112份文件引用(1993–2022) 软件作者： Grzymala-Busse，J.W。 相关软件： C4.5；UCI-ml；4eMka2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ProbLog（问题日志） 119篇文献引用(2007–2023) 软件作者： Joris Renkens；范登·布勒克（Van Den Broeck），盖伊（Guy）；齐格弗里德·尼杰森 相关软件： 棱镜；PITA；CP逻辑… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
圆形包装 123篇文献引用(2005–2024) 软件作者： 肯·斯蒂芬森 相关软件： 施瓦兹-克里斯托菲尔；SC工具箱；SageMath… 主要字段： 组合数学（05-XX）；复变量函数（30-XX）；凸和离散几何（52-XX）…
SIGMA公司 123篇文献引用(2004–2024) 软件作者： 卡斯滕·施耐德 相关软件： qZeil；EvaluateMultiSums；谐波和… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
BEMECH公司 123篇文献引用(2002–2024) 软件作者： 高晓伟；特雷弗·G·戴维斯。 相关软件： RIM_DOM公司。F90；GeoPDE；BDEM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
腿 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： 辅酶q；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
QDES公司 109篇文献引用(1991–2023) 软件作者： 斯蒂芬·博伊德（Stephen P.Boyd）。；克雷格·巴拉特。 相关软件： LMI工具箱；SeDuMi公司；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
QETLAB公司 112份文件引用(2000–2023) 软件作者： 纳撒尼尔·约翰斯顿 相关软件： QubitUPB搜索；CVX；SDPT3… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；功能分析（46-XX）；量子理论（81-XX）…
PDE-网络 111篇文献引用(2019–2023) 软件作者： 龙子超、陆一平、马贤忠、董斌 相关软件： DGM；亚当；PyTorch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
Mu分析与合成工具箱 109篇文献引用(1993–2021) 软件作者： 数学作品；加里·巴拉斯（Gary J.Balas）、约翰·多伊尔（John C.Doyle）、基斯·格洛弗（Keith Glover）、安迪·帕卡德（Andy Packard）、罗伊·史密斯（Roy Smith） 相关软件： 鲁棒控制工具箱；LMI工具箱；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变形固体力学（74-XX）…
卡达布拉 107篇文献引用（2007年至2024年） 软件作者： 卡斯珀·皮特斯；利奥·布雷文 相关软件： xPerm；Mathematica；xAct… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
DSTool（DSTool） 106篇文献引用（1992年至2022年） 软件作者： J Guckenheimer、Meloon文学学士、Myers先生、FJ Wicklin、Michael Patra 相关软件： 自动；AUTO-86；霍姆孔特… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
结地图集 104篇文献引用(2005–2023) 软件作者： 巴纳坦，德罗；斯科特·莫里森 相关软件： 节点信息；Khoho；结景… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；流形和细胞复合体（57-XX）…
精益 94份文件引用(2015–2024) 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： 辅酶q；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
切片机 91份文件引用(1999–2023) 软件作者： 彼得·本纳（Peter Benner）；沃尔克·梅尔曼；西玛，瓦西里；范·赫菲尔（Sabine Van Huffel）；安德拉斯·瓦尔加 相关软件： LAPACK；Matlab；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
APL公司 84份文件引用(1962–2023) 软件作者： 肯尼思·艾弗森 相关软件： 哈斯克尔；米兰达；R、 … 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Sinc-Pack系列 86篇文献引用(1997–2023) 软件作者： 弗兰克·斯坦格 相关软件： Matlab；FFTW；Chebfun… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；积分方程（45-XX）…
PIN码NTK码 82份文件引用(2021–2024) 软件作者： 王思凡；于新玲；巴黎佩迪卡里斯 相关软件： 亚当；DeepXDE；差异Sharp… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Quantum浓缩咖啡 68篇文献引用(2010–2024) 软件作者： Giannozzi，P.、Baroni，S.、Bonini，N.、Calandra，M.、Car，R.、Cavazzoni，C.、Ceresoli，D等人。 相关软件： ABINIT公司；瓦尼尔90；lobpcg.m… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
XPIN编号 81份文件引用(2020–2024) 软件作者： 胡哲远、阿米娅·贾格塔普、乔治·埃姆·卡尼亚达基斯、川口贤治 相关软件： 亚当；DeepXDE；PINNsNTK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SCCP公司 79份文件引用（2006年至2021年） 软件作者： 鲁、南；黄正海 相关软件： SDPT3；SeDuMi公司；优化软件基准… 主要字段： 非结合环与代数（17-XX）；实函数（26-XX）；变分法与最优控制；优化（49-XX）…
豆类 78篇文献引用(2004–2023) 软件作者： 阿洛克·萨特拉达尔；Paulino，Glaucio H。；莱昂纳德·格雷。 相关软件： SERBA；XFEM；阿巴库斯… 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；数值分析（65-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
mCRL2型 70篇文献引用（2007年至2024年） 软件作者： 格罗特，扬·弗里索；Aad Mathijssen；米歇尔·A·雷尼尔。；亚罗斯拉夫·乌森科。；蒙克·范·维尔登堡 相关软件： CADP；Uppaal；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
粉碎机 77份文件引用(1991–2023) 软件作者： S.G.Gorishny；S.A.Larin公司；L.R.Surguladze；F.V.特卡乔夫 相关软件： 表格；雷杜泽；MATAD… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；计算机科学（68-XX）…
流体流动现象 75篇文献引用(1999–2023) 软件作者： 保罗·奥兰迪 相关软件： FFTW；罐；不兼容3d… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PALP公司 75篇文献引用(2003–2023) 软件作者： M.Kreuzer、H.Skarke 相关软件： SageMath；TOPCOM公司；Calabi-Yau数据库… 主要字段： 代数几何（14-XX）；微分几何（53-XX）；计算机科学（68-XX）…
莎拉 68篇文献引用(2010–2023) 软件作者： 弗洛里安·斯塔布 相关软件： 斯费诺；希格斯信号；数学… 主要字段： 粒子和系统力学（70-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
打火石 68篇文献引用(2009–2023) 软件作者： 威廉·哈特。 相关软件： SageMath；岩浆；NTL… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
hgam公司 73篇文献引用(2009–2018) 软件作者： 梅耶，卢卡斯；Sara van de Geer；彼得·伯尔曼；曼纽尔·尤格斯特（Manuel Eugster）。。。 相关软件： 半标准杆；R；gss… 主要字段： 功能分析（46-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
LIMbook（直线电机手册） 73篇文献引用(2016–2023) 软件作者： 路易吉·布鲁格纳诺；费利斯·伊韦纳罗 相关软件： BiMD；商业智能；RODAS… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
利亚帕克 72份文件引用(1998–2024) 软件作者： 蒂洛·彭兹尔 相关软件： Matlab；算法432；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
阿比尼特 65篇文献引用(2004–2024) 软件作者： 泽维尔·贡泽（Xavier Gonze）；伯纳德·阿马登（Bernard Amadon）；加布里埃尔·安东尼厄斯；弗雷德里克·阿纳迪；卢卡斯·巴格特；Jean-Michel，Beuken；约旦比德；弗朗索瓦·博廷；Johann Bouchet；埃里克·博斯克（Eric Bousquet）；尼尔斯·布劳沃（Nils Brouwer）；布鲁内瓦尔（Bruneval）、法比恩（Fabien）；纪尧姆·布鲁宁；卡维尼亚克，塞奥；让-巴蒂斯特·沙罗；陈伟；米歇尔·科特；斯特凡·科特涅尔；朱尔斯·丹尼尔（Jules Denier）；盖内斯特，格里戈里；菲利普·戈塞兹（Philippe Ghosez）；吉安托马斯，马特奥；Gillet，Yannick；Gingras，Olivier；唐纳德·R·哈曼。；杰弗里·豪蒂埃；何旭；尼科尔·赫尔比格；Natalie Holzwarth；贾永超；弗朗索瓦·乔利特；威廉·拉法尔盖·迪特·哈雷特（William Lafargue-Dit-Hauret）；库尔特·勒贾盖尔（Kurt Lejaeghere）；米盖尔·马奎斯。；亚历山大·马丁；西里尔·马丁斯；Miranda，Henrique P.C。；弗朗西斯科·纳卡拉托；克里斯汀·佩尔松；彼得雷托，圭多；飞机，瓦伦丁；Yann Pouillon；谢尔盖·普罗霍伦科；法比奥·里奇；里格纳内斯，吉安·马尔科；阿尔多·罗梅罗。；迈克尔·马库斯·施密特；马克·托伦特（Marc Torrent）；Michiel J.van Setten。；Van Troeye，Benoit；Verstraete，Matthieu J。；泽拉，吉尔；Josef W.茨万齐格。 相关软件： 量子浓缩咖啡；CASTEP公司；WIEN2k… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
伊莎贝尔/采埃孚 70篇文献引用（1993年-2023年） 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；辅酶q；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
LieART公司 70篇文献引用(2012–2023) 软件作者： 罗伯特·费格（Robert Feger）、托马斯·凯普哈特（Thomas W.Kephart） 相关软件： Mathematica；苏西诺；LiE… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；量子理论（81-XX）…
伪 71篇文献引用(2004–2023) 软件作者： J.C.布鲁内利 相关软件： Mathematica；AXIOM；SuSy 2… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
alpha认证 68篇文献引用(2011–2024) 软件作者： 乔纳森·霍恩斯坦（Jonathan D.Hauenstein）；弗兰克·索蒂尔 相关软件： 贝尔蒂尼；麦考利2号；PHCpack… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
立方体 70篇文献引用(2016–2023) 软件作者： Cohen，C.、Coquand，T.、Huber，S.、Mörtberg，A。 相关软件： GitHub；辅酶q；购物车立方体… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
KPCA加LDA 57篇文献引用（2006年至2021年） 软件作者： 杨，J。；Frangi，A.F。；杨，J。；张，D。；Z.Jin。 相关软件： 费雷特；UCI-ml；CMU PIE… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
NDSPMHD公司 70篇文献引用(2012–2024) 软件作者： 丹尼尔·普莱斯（Daniel J.Price）。 相关软件： 双球面物理学；幻影；GADGET… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
MeatExe公司 69篇文献引用（1994年-2023年） 软件作者： 迈克尔·林奇 相关软件： 间隙；岩浆；ATLAS集团代表… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；群论与推广（20-XX）…
ALF公司 68篇文献引用(1993–2018) 软件作者： 莉娜·马格努森 相关软件： 辅酶q；自动化；数字（amp；N）… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
阿勒夫 59篇文献引用(2004–2023) 软件作者： 斯里尼瓦桑，A 相关软件： ProbLog；GitHub；Metagol… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
卡普塞 67篇文献引用(2011–2023) 软件作者： Jean-Patrick Baudry；凯西·毛吉斯（Cathy Maugis）；贝特朗·米歇尔 相关软件： R；fda（R）；mclust… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
萨塔拉克 67篇文献引用(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
xTras公司 66份文件引用(2014–2023) 软件作者： 茶树坚果 相关软件： x法案；xPert；xPerm… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
玻璃纤维 60篇文献引用(2019–2024) 软件作者： 阿西，苏珊；朱莉·提比拉尼；Stefan Wager 相关软件： R；贝叶斯树；巴蒂… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
数学SAT 59篇文献引用(2005–2023) 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
代码_主 59篇文献引用(1995–2024) 软件作者： 法国电力公司（EDF；法国电力） 相关软件： 阿巴夸斯；Gmsh；COMSOL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
计算HEP 59篇文献引用(2006–2024) 软件作者： 亚历山大·普霍夫、亚历山大·贝利亚耶夫、尼尔·克里斯滕森 相关软件： 费恩规则；CompHep；micrOMEGAs… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
卡帕拉布 60篇文献引用（2007年至2024年） 软件作者： 米歇尔·格拉比什（Michel Grabisch）；科贾迪诺维奇（Ivan Kojadinovic）；帕特里克·梅耶 相关软件： R；M-MACBETH；视觉UTA… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
威恩2k 49篇文献引用（2002年-2023年） 软件作者： P.Blaha、K.Schwarz、G.Madsen、D.Kvasnicka、J.Luitz 相关软件： 量子浓缩咖啡；ABINIT公司；Wannier90… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
业务风险管理系统 39篇文献引用(2019–2024) 软件作者： 保尔·克里斯蒂安·比尔克纳 相关软件： R；斯坦；lme4… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
利比亚中央银行 60篇文献引用(2009–2023) 软件作者： 查查特，B 相关软件： 安提戈内；BARON公司；MAiNGO… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
赌博 53篇文献引用(2003–2023) 软件作者： Richard D.McKelvey、Andrew M.McLennan、Theodore L.Turocy 相关软件： Z树；GAMUT；Python… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
梅蒂塔斯基 56篇文献引用(2008–2024) 软件作者： 贝扎德·阿克巴普尔；劳伦斯·C·鲍尔森。 相关软件： QEPCAD；z3；PVS… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
梁189 58篇文献引用(2003–2023) 软件作者： 王昌国；谭慧峰；杜兴文 相关软件： 阿巴夸斯；ANSYS；Meschach… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…