L-BFGS公司 987年文献引用(1981–2024) 软件作者： 朱慈友；理查德·伯德。；吕培煌；豪尔赫·诺塞达尔 相关软件： L-BFGS-B；LBFGS-B；切割机… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
半标准杆 824份文件引用(1996–2023) 软件作者： 马特·旺德；戴维·鲁珀特（David Ruppert）；卡罗尔，R.J。 相关软件： R；加迈尔；fda（R）… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
SDPT3系统 768份文件引用(1986–2024) 软件作者： Toh，K.C。；Todd，医学博士。；TüTüncü，R.H。 相关软件： 塞杜米；YALMIP；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JDQZ公司 644份文件引用(1996–2024) 软件作者： D.R.福克马；G.L.G.Sleijpen公司；H.A.范德沃斯特 相关软件： JDQR；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
DIMACS公司 603文件引用(1993–2024) 软件作者： 约翰逊，D.S。；诡计，M。 相关软件： 禁忌搜索；SATO；箔条… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JDQR公司 540份文件引用(1996–2024) 软件作者： Gerard L.G.Sleijpen先生 相关软件： JDQZ；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LBFGS-B型 521份文件引用(1994–2024) 软件作者： 朱慈友；理查德·伯德。；吕培煌；豪尔赫·诺塞达尔 相关软件： L-BFGS；L-BFGS-B；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿达·布斯特。MH公司 409篇文献引用(1995–2022) 软件作者： 弗伦德（Yoav Freund）；罗伯特·夏皮雷（Robert E.Schapire）。 相关软件： UCI-ml；C4.5；ElemStatLearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
锡 426份文件引用(2005–2024) 软件作者： 阿德尔奇·阿扎里尼 相关软件： R；mixsmsn；QRM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
GMRF库 引用于408份文件(1991–2024) 软件作者： 哈瓦德街；莱昂哈德·赫尔德 相关软件： R；spBayes；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
DDE-BIFTOOL工具 366份文件引用(2000–2024) 软件作者： Engelborghs，K。；Luzianina，T。；鲁斯，D。 相关软件： Matlab；克努特；自动… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
环境影响评价 337份文件引用(1991–2023) 软件作者： MathWorks公司。；丹尼·索伦森（Danny C.Sorensen）。 相关软件： IRAM；ARPACK；JDQZ… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
日晷 251份文件引用(1990–2024) 软件作者： Alan C.Hindmarsh。；彼得·N·布朗（Peter N.Brown）。；基思·格兰特（Keith E.Grant）。；Lee，Steven L。；塞尔维亚人，Radu；Dan E.Shumaker。；卡罗尔·伍德沃德。 相关软件： PETSc；Matlab；RODAS… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；流体力学（76-XX）…
生存 159份文件引用(1996–2023) 软件作者： Terry M Therneau；托马斯·伦利 相关软件： R；CRAN；SAS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
L-BFGS-B型 220篇文献引用(1997–2024) 软件作者： Ciyou Zhu、Richard Byrd、Jorge Nocedal、Jose Luis Morales 相关软件： L-BFGS；LBFGS-B；切割机… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VODE（旁白） 216篇文献引用(1989–2024) 软件作者： 彼得·N·布朗（Peter N.Brown）。；乔治·D·伯恩。；Alan C.Hindmarsh。 相关软件： 罗德斯；CHEMKIN公司；LSODE… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
张量工具箱 218篇文献引用(2007–2024) 软件作者： 布雷特·巴德（Brett W.Bader）。；塔马拉·科尔达。 相关软件： 算法862；Matlab；Tensorlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
费阿普 213篇文献引用(1993–2024) 软件作者： 泰勒；加州大学伯克利分校 相关软件： PETSc；ABAQUS；FEAPpv… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
爱尔兰共和国 205篇文献引用(1991–2022) 软件作者： 丹尼·索伦森（Danny C.Sorensen）。 相关软件： 环境影响评价；ARPACK；JDQZ… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
广场广场 201份文件引用(2000–2023) 软件作者： J.F.Bonnans、J.Ch.Gilbert、C.Lemaréchal、C.A.Sagastizábal 相关软件： PLCP；Ipopt；L-BFGS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
系统标识工具箱 189份文件引用(1990–2023) 软件作者： Thomas B Schön；艾德里安·威尔斯（Adrian Wills）；Brett Ninness；Lennart Ljung公司 相关软件： Matlab；船长；Wiener-Hammerstein基准… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SMOTE公司 150篇文献引用(2002–2023) 软件作者： N.V.Chawla、K.W.Bowyer、L.O.Hall、W.P.Kegelmeyer 相关软件： UCI-ml；C4.5；SMOTEBoost… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PROST公司 184份文件引用(2002–2024) 软件作者： Renardy，Yuriko；迈克尔·雷纳迪 相关软件： 格里斯；SLIC；卡拉肯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
鲁棒控制工具箱 160篇文献引用(1989–2024) 软件作者： 数学作品；Balas G、Chiang R、Packard A、Safonov M 相关软件： Matlab；控制系统工具箱；Mu分析与合成工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
坎特/卡什 157篇文献引用(1991–2022) 软件作者： 安妮塔·克拉曼（Anita Krahman）、卡罗琳·贾斯特（Carolin Just）、克劳斯·菲克尔（Claus Fieker）、弗洛里安·赫伊（Florian Heß）、何塞·门德斯（Jose Mendez）、吉尔根·克吕内斯（Jürgen Klüners）、马库斯·瓦格纳（Marcus Wagner）、迈克尔·波赫斯特（Michael Pohst）、奥利弗·沃伊格特（Oliver Voigt）、罗伯特·弗雷茨（Robert Fraatz）、塞巴斯蒂安·弗伦特（Sebastian Freundt）、塞瓦利（Sebassian Pauli）；前作者：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集团、德国数学研究所、柏林理工大学 相关软件： 岩浆；枫树；PARI/GP… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
车辆08 156篇文献引用(1982–2024) 软件作者： Griewank，A.公司。；厕所，博士。 相关软件： 兰斯洛特；minpack；L-BFGS… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
MONA公司 142篇文献引用(1995–2023) 软件作者： 尼尔斯·克拉伦德；莫勒，安德斯；迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。；J·埃尔加德。 相关软件： z3；DCVALID；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
LSODE（LSODE） 140篇文献引用(1983–2022) 软件作者： 阿兰·希德马什 相关软件： 投票；DASSL；ODEPACK… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
Flyspeck飞点 132份文件引用(2004–2023) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；坦克墨水，雕刻；塞萨里·卡利西克；约瑟夫·乌尔班（Josef Urban）；赫尔曼·格乌弗斯 相关软件： HOL灯；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
LERS公司 112份文件引用(1993–2022) 软件作者： Grzymala-Busse，J.W。 相关软件： C4.5；UCI-ml；4eMka2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
帕伽索斯 120篇文献引用(2009–2024) 软件作者： Shai Shalev-Shwartz、Yoram Singer、Nathan Srebro、Andrew Cotter 相关软件： LIBSVM；LIBLINEAR；UCI毫升… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
主页 123篇文献引用(1987–2023) 软件作者： Layne T.Watson。；斯蒂芬·比卢普斯（Stephen C.Billups）。；亚历山大·摩根。 相关软件： PITCON；HOMPACK90；minpack… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
内克塔尔++ 118篇文献引用(2004–2023) 软件作者： 詹姆斯·金（James King）；谢尔盖·雅科夫列夫；傅志松；罗伯特·M·柯比。；斯宾塞·J·舍温。 相关软件： Gmsh；交易.ii；Nek5000… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AIR工具 引用于114份文件(2012–2024) 软件作者： 汉森，Per Christian；玛丽亚·萨希尔德·汉森 相关软件： 正规化工具；IR工具；UTV… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
快速检查 93篇文献引用(2001–2024) 软件作者： 科恩·克莱森；约翰·休斯 相关软件： 哈斯克尔；Coq；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
近地天体 98篇文献引用(1997–2023) 软件作者： 约瑟夫·齐兹克（Joseph Czyzyk）；迈克尔·梅斯尼尔（Michael P.Mesnier）；豪尔赫·莫雷 相关软件： AMPL；GAMS；CPLEX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BOBYQA公司 97篇文献引用(2011–2024) 软件作者： M.J.D.鲍威尔 相关软件： NEWUOA公司；MultiMin；DFO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
货币基金组织 89份文件引用(2012–2024) 软件作者： 罗伯特·安德森（Robert Anderson）、朱利安·安德烈（Julian Andrej）、安德鲁·巴克（Andrew Barker）、杰米·布兰威尔（Jamie Bramwell）、珍妮·西尔万·卡米尔（Jean-Sylvane Camier）、雅库布·塞维尼（Jakub Cerveny）、韦塞林·多布雷夫（Veselin Dobrev）、约汉·杜杜杜杜维特（Yohann Dudouit）、亚伦·费舍尔（Aar 相关软件： 炒作；交易.ii；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ILOG时间表 87份文件引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
测试包 94份文件引用(1988–2023) 软件作者： A.根茨 相关软件： TOMS659；sobol.cc；PATSYM… 主要字段： 数论（11-XX）；近似和展开（41-XX）；概率论与随机过程（60-XX）…
正则链 90篇文献引用(2005–2023) 软件作者： Lemaire，F。；莫雷诺·马扎（Moreno Maza，M.）。；谢，Y。 相关软件： 枫树；单一；QEPCAD… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
细胞景观 48篇文献引用(2007–2023) 软件作者： Shannon P、Markiel A、Ozier O、Baliga NS、Wang JT、Ramage D、Amin N、Schwikowski B、Ideker T 相关软件： KEGG；R；IntAct… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
PostgreSQL 55份文件引用(2000–2023) 软件作者： – 相关软件： 神谕；MySQL；MS SQL Server… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
截止2001年 73篇文献引用(2000–2023) 软件作者： 大卫·J·汉德（David J.Hand）。；罗伯特·J·蒂尔（Robert J.Till）。；安德烈亚斯·多米尼克·卡尔曼；埃德加·库布林 相关软件： UCI-ml；C4.5；SMOTE… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
库恩 80篇文献引用(2009–2023) 软件作者： 彼得罗·贝洛蒂；Jon Lee；利贝蒂（Leo Liberti）；弗朗索瓦·马戈特；安德烈亚斯·瓦赫特 相关软件： BARON公司；CPLEX；邦明… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Nitpick公司 79份文件引用(1999–2023) 软件作者： Jasmin Christian布兰切特；托比亚斯·尼普科夫 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
PS温 76篇文献引用(2007–2023) 软件作者： 瓦兹，A.I.F。；Vicente，法律公告。 相关软件： MultiMin；NOMAD公司；MCS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SSA公司 73篇文献引用(2018–2024) 软件作者： S.米尔贾利利、A.H.甘多米、S.Z.米尔贾里利、S.萨雷米、H.法利斯、S.M.米尔加利利 相关软件： GWO；WOA；GSA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GLLAMM公司 67篇文献引用(2001–2023) 软件作者： 索菲亚·拉贝·赫斯基；安德斯·斯科伦达尔（Anders Skrondal）；安德鲁·皮克尔斯（Andrew Pickles）；科林·泰勒；Stata公司；鲍比·古铁雷斯 相关软件： Stata公司；R；Mplus… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
heapsort公司 73篇文献引用(1980–2023) 软件作者： 威廉姆斯JWJ 相关软件： 快速分拣；MA57；HSL… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ProB公司 55份文件引用(2002–2022) 软件作者： 迈克尔·洛伊舍尔（Michael Leuschel）；麦可巴特勒 相关软件： 罗丹；Z；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
C模型 68篇文献引用(2004–2022) 软件作者： 尤利娅·利勒 相关软件： 亚萨特；平滑；格林戈… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
OrthoMADS公司 72份文件引用(2009–2023) 软件作者： 马克·阿布拉姆森。；查尔斯·奥德特（Charles Audet）；丹尼斯，J.E.jun。；斯埃巴斯蒂安·勒·迪加贝尔 相关软件： NOMAD公司；DFL；DFN… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
TAMC公司 72份文件引用(1998–2021) 软件作者： Giering，拉尔夫；托马斯·卡明斯基 相关软件： TAF；ADIFR；ADOL-C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ttt批次 70篇文献引用(2007–2024) 软件作者： Aiex，Renata M。；里森德，毛里西奥·G·C。；塞尔索·C·里贝罗。 相关软件： PERL；GRASP；irace… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
尼姆布斯 68篇文献引用(1993–2023) 软件作者： Miettinen K。；梅克尔。 相关软件： IND-NIMBUS公司；帕累托导航器；NBI… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可爱的 50篇文献引用（2003年至2022年） 软件作者： Koushik Sen；达科·马里诺夫；古尔·阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
阿尔法零 66份文件引用(2018–2024) 软件作者： DeepMind；大卫·西尔弗；托马斯·休伯特；朱利安·施里特维瑟（Julian Schrittwieser）；哈萨比斯 相关软件： 亚当；AlexNet；ImageNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
DEoptim公司 52篇文献引用(2008–2023) 软件作者： 凯瑟琳·马伦。；大卫·阿迪亚；大卫·L·吉尔。；唐纳德·温多弗（Donald Windover）；詹姆斯·克莱恩 相关软件： R；rgenoud；GA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
杰森 47篇文献引用(1977–2023) 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： AgentSpeak；贾德克斯；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MLMSRBF公司 62篇文献引用(2007–2023) 软件作者： 隆美尔·里吉斯。；鞋匠Christine A。 相关软件： EGO；NOMAD公司；轨道… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
ACCPM公司 60篇文献引用(1990–2021) 软件作者： 戈芬·J.-L.、A.Haurie、J.-P.小瓶、雅塞克·冈齐奥、奥利维尔·杜·梅尔、罗伯特·萨基辛 相关软件： CPLEX；GAMS；HOPDM… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
琥珀色 49篇文献引用(1995–2024) 软件作者： D.A.Case、T.A.Darden、T.E.Cheatham、III、C.L.Simmerling、J.Wang、R.E.Duke、R.Luo、R.C.Walker、W.Zhang、K.M.Merz、B.P.Roberts、B.Wang、S.Hayik、A.Roitberg、G.Seabra、I.Kolossváry、K.F.Wong、F.Paesani、J.Vanicek、J.Liu、X.Wu、S.R.Brozell、T.Steinbrecher、H.Gohlke、Q.Cai、X.Ye、J.Wang、M.-J.Hsieh、G.Cui、D.R.Roe、D.H。马修斯、M.G.西廷、C.萨吉、V.巴宾、T.卢奇科、S.古萨洛夫、A.科瓦伦科和P.A.科尔曼。 相关软件： Gromacs公司；查姆；NAMD… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
EFD（电子飞行显示器） 59篇文献引用(2007–2023) 软件作者： 丹尼尔·伯恩斯坦（Daniel J.Bernstein）；坦尼娅·兰格 相关软件： 曲线25519；mpFq；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
fpLLL公司 59篇文献引用(2008–2023) 软件作者： Damien Stehle、Xavier Pujol、David Cade 相关软件： BKZ；github；G6K… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
TAO公司 54篇文献引用(2001–2023) 软件作者： 史蒂文·本森（Steven J.Benson）。；Lois Curfman，麦金尼斯；豪尔赫·莫雷。 相关软件： PETSc；FEniCS；ADIC… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
波束189 58篇文献引用(2003–2023) 软件作者： 王昌国；谭慧峰；杜兴文 相关软件： ABAQUS；ANSYS软件；Meschach… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
MPTP 0.2 55份文件引用(2006–2021) 软件作者： 约瑟夫·厄本 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CVC精简版 51篇文献引用(2004–2020) 软件作者： 肖恩·麦克劳林（Sean Mclaughlin）；克拉克·巴雷特；葛叶婷 相关软件： HOL灯；糠；SMT-LIB… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
LWE环 56篇文献引用(2013–2023) 软件作者： 卢巴什夫斯基，瓦迪姆；克里斯·佩克特（Chris Peikert）；奥德雷格夫 相关软件： NTRU；FHEW；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
4eMka2公司 53篇文献引用(1999–2023) 软件作者： S.Greco、B.Matarazo、R.Slowinski 相关软件： LERS；M-MACBETH；视觉UTA… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
KIV公司 51篇文献引用(1988–2022) 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
尤玛 46篇文献引用(2013–2023) 软件作者： 亚历山大·布鲁斯特；斯特凡诺·伊库斯（Stefano M.Iacus）。 相关软件： R；模拟。DiffProc；sde… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
FHEW公司 53篇文献引用(2015–2023) 软件作者： 莱奥·多卡斯；丹尼尔·米恰尼西奥 相关软件： HElib；TFHE；如果… 主要字段： 数论（11-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
miss森林 45篇文献引用(2013–2023) 软件作者： 丹尼尔·斯特霍芬 相关软件： R；老鼠；missMDA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
钠10 53篇文献引用(1996–2022) 软件作者： 达里奥·安德里亚·比尼 相关软件： na20；mctoolbox；隔离… 主要字段： 场论与多项式（12-XX）；线性代数和多线性代数；矩阵理论（15-XX）；复变量函数（30-XX）…
advanpix公司 51篇文献引用(2013–2023) 软件作者： advanpix.com公司 相关软件： Matlab；mctoolbox；gmp… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；统计学（62-XX）…
SWIFFT银行 51篇文献引用(2008–2021) 软件作者： 卢巴什夫斯基，瓦迪姆；丹尼尔·米恰尼西奥（Daniele Micciancio）；克里斯·佩克特（Chris Peikert）；阿隆·罗森 相关软件： NTRU；NTL；SWIFFTX… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
iPiasco公司 50篇文献引用(2015–2023) 软件作者： Ochs，Peter；托马斯·布罗克斯（Thomas Brox）；托马斯·波克 相关软件： iPiano；AlexNet；CIFAR… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
NTRU签名 49篇文献引用(2003–2023) 软件作者： 杰弗里·霍夫斯坦；Howgrave-Graham，Nick；吉尔·皮弗；约瑟夫·西尔弗曼（Joseph H.Silverman）。；威廉·怀特 相关软件： NTRU；BLISS；BKZ… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
通用航空公司 43篇文献引用(2014–2024) 软件作者： 卢卡·斯克鲁卡 相关软件： R；DEoptim；CRAN任务视图… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；计算机科学（68-XX）…
香蒜酱 49篇文献引用(2016–2023) 软件作者： 阿德里安·泰勒（Adrien B.Taylor）。；朱利安·亨德里克斯。；F.格利纳。 相关软件： YALMIP；塞杜米；取消锁定BoX… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
主页90 47篇文献引用(1997–2022) 软件作者： Layne T.Watson。；玛丽亚·索松基纳（Maria Sosonkina）；罗伯特·梅尔维尔（Robert C.Melville）。；Alexnder P.摩根。；霍默·沃克。 相关软件： 主页；PHCpack；POLSYS_PLP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
MadGraph5_aMC@NLO 43篇文献引用(2014–2024) 软件作者： J.Alwall、R.Frederix、S.Frixione、V.Hirschi、F.Maltoni、O.Mattelaer、H.-S.Shao、T.Stelzer、P.Torrielli、M.Zaro 相关软件： 费恩规则；PYTHIA8；德尔菲斯… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
迷你球 47篇文献引用(2001–2023) 软件作者： 卡斯帕·菲舍尔；伯恩德·加特纳；阿迪蒂亚·古普塔；Alexandros Konstantinakis Karmis公司 相关软件： SDPT3；塞杜米；CGAL… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
DE工具 47篇文献引用(1990–2023) 软件作者： 多龙·泽尔伯格 相关软件： MultiZeilberger；枫树；OEIS… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
感觉++ 40篇文献引用(1999–2023) 软件作者： 克里斯托夫·普鲁德霍姆（Christophe Prud’homme）、文森特·查班内斯（Vincent Chabannes）、圣埃芬·韦斯（Stéphane Veys）、阿卜杜拉耶·萨姆克（Abdoulay Samake）、塞西莉·达沃森（Cecile Daversin）、克里斯托夫·特罗菲姆（Christphe Trophime）、贡卡洛·佩纳（Goncalo Pena）、纪尧姆·多利（Guillau 相关软件： PETSc；交易.ii；FreeFem++… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
如果2.0 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
SLEIGN2系列 47篇文献引用(1991–2023) 软件作者： 贝利，P.B。；纽约州埃弗里特。；泽特尔，A 相关软件： 雪橇；MATSLISE公司；SLEIGN… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；算子理论（47-XX）…
贝叶斯逻辑 46篇文献引用(2013–2022) 软件作者： 尼古拉斯·波尔森（Nicholas G.Polson）。；詹姆斯·G·斯科特。；杰西·温德尔 相关软件： R；tsbridge；CODA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ell-adic-galois-images公司 46篇文献引用(2015–2024) 软件作者： 杰里米·劳斯（Jeremy Rouse）；安德鲁·萨瑟兰（Andrew V.Sutherland）。；大卫·苏莱克·伯恩 相关软件： 岩浆；LMFDB；SageMath… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；场论与多项式（12-XX）…
橡皮擦 36篇文献引用(2000–2021) 软件作者： Savage，S.、Burrows，M.、Nelson，G.、Sobalvarro，P.、Anderson，T。 相关软件： veriSoft；RacerX；班德拉… 主要字段： 计算机科学（68-XX）
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
精益TAP 引用于44份文件(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
FRIL公司 38篇文献引用(1987–2022) 软件作者： 鲍德温，J.F。；马丁·T·P。；B.W.皮尔斯沃思。 相关软件： Likelog；FPROLOG；XPath… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
HLM公司 22篇文献引用(2002–2016) 软件作者： SSI，科学软件国际有限公司。， 相关软件： MLwiN；R；SPSS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…