Matlab公司 软件作者：MathWorks公司 引用于： 13110本出版物（1982年至2024年） 相关软件： Simulink；LMI工具箱；枫树；MATLAB ODE套件；ode23；ode45… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）
R（右） 软件作者：哈德利·威克姆；罗伯特·绅士；罗斯·伊哈卡；约翰·钱伯斯（John M.Chambers）；William N.Venables；布莱恩·里普利 引用于： 8591出版物（1978年至2023年） 相关软件： CRAN；SAS；质量（R）；ggplot2；S-PLUS；Matlab… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
数学软件 软件作者：Wolfram研究 引用于： 6255本出版物（1986年至2023年） 相关软件： 枫树；Matlab；R；SageMath；伊斯兰教；DLMF… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
枫树 软件作者：滑铁卢枫树公司。 引用于： 5240出版物（1983年至2023年） 相关软件： Mathematica；Matlab；伊斯兰教；岩浆；单一；减少… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）
组织环境信息系统 软件作者：尼尔·J·A·斯隆。；OEIS基金会。 引用于： 4442出版物（1973–2023） 相关软件： SageMath；间隙；Mathematica；DLMF；枫树；岩浆… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）
岩浆 软件作者：西。Bosma，A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 引用于： 3481出版物（1994年至2023年） 相关软件： 间隙；SageMath；PARI/GP；单一；枫树；代码表… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）
UCI-毫升 软件作者：David Aha、Patrick Murphy、Christopher Merz、Eamonn Keogh、Cathy Blake、Seth Hettich、David Newman 引用于： 2718出版物（1995年至2022年） 相关软件： C4.5；LIBSVM；R；ElemStatLearn；AdaBoost.MH；PRMLT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
间隙 软件作者：GAP集团 引用于： 3292出版物（1990年至2023年） 相关软件： 岩浆；SageMath；ATLAS集团代表；雪维；鹦鹉螺；葡萄… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）
github 软件作者：github公司 引用于： 3033出版物（2010-2022） 相关软件： R；Matlab；蟒蛇；亚当；TensorFlow；SageMath… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
DLMF公司 软件作者：丹尼尔·洛泽尔（Daniel W.Lozier）。 引用于： 3037出版物（2000年至2023年） 相关软件： Mathematica；Matlab；组织环境信息系统；切布冯；github；枫树… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）
CPLEX公司 软件作者：IBM公司 引用于： 2738本出版物（1992年至2023年） 相关软件： 古罗比；SCIP；GAMS；AMPL；MIPLIB公司；Matlab… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
蟒蛇 软件作者：吉多·范·罗苏姆 引用于： 1094出版物（1991年至2023年） 相关软件： SciPy；数字Py；Matplotlib；Scikit；Matlab；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
SageMath公司 软件作者：贤明的开发商；威廉·斯坦因；大卫·乔伊纳（David Joyner）；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 引用于： 2141出版物（2002-2023） 相关软件： 岩浆；间隙；组织环境信息系统；单一；Sage-Combinat；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）
麦考莱2 软件作者：丹尼尔·格雷森（Daniel R.Grayson）。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 引用于： 2000年出版物（1988年至2023年） 相关软件： 单一；可可；SageMath；贝尔蒂尼；岩浆；枫树… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）
Coq公司 软件作者：克利斯朵夫·德林格；Jean-François Dufourd 引用于： 1830本出版物（1993年至2023年） 相关软件： Isabelle/HOL；伊莎贝尔；HOL；PVS；HOL灯；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）
LAPACK公司 软件作者：LAPACK团队：lapack@cs.utk.edu 引用于： 1669份出版物（1988年至2023年） 相关软件： BLAS；ScaLAPACK；Matlab；mctoolbox；LINPACK；ARPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
ElemStatLearn（电子状态学习） 软件作者：杰蒂尔·哈沃森 引用于： 1509出版物（2001-2023） 相关软件： R；UCI-ml；PRMLT；glmnet；fda（R）；AdaBoost.MH… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
单一 软件作者：Wolfram Decker；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 引用于： 1537本出版物（1991年至2023年） 相关软件： 麦考利2号；可可；岩浆；SageMath；枫树；primdec… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）
mctoolbox软件 软件作者：尼克·海姆 引用于： 1539出版物（1995年至2023年） 相关软件： LAPACK；Matlab；mftoolbox；稀疏矩阵；BLAS；国际实验室… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
LMI工具箱 软件作者：数学作品；Gahinet，P。；内米洛夫斯基，A。；劳布，A.J。；M.奇拉利。 引用于： 1459出版物（1995年至2023年） 相关软件： Matlab；控制系统工具箱；塞杜米；YALMIP；Mu分析与合成工具箱；SDPT3… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学、数学规划（90-XX）
CUDA公司 软件作者：NVIDIA公司；佩特·文格曼；Frank H.P.菲泽克。 引用于： 1069出版物（2007-2023） 相关软件： OpenCL；CUBLAS；Matlab；保管；推力；MPI… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
塞杜米 软件作者：斯图尔姆·J·F 引用于： 1292出版物（1999-2022） 相关软件： YALMIP；SDPT3；GloptiPoly；粪便；CVX；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
YALMIP公司 软件作者：约翰·洛夫伯格 引用于： 1060出版物（2004–2023） 相关软件： 塞杜米；SDPT3；莫塞克；Matlab；粪便；GloptiPoly… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
伊莎贝尔/HOL 软件作者：沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 引用于： 985本出版物（1996-2023） 相关软件： 伊莎贝尔；Coq；HOL；存档正式证据；PVS；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）
AUTO（自动） 软件作者：多德尔、尤西比乌斯、阿兰·查普内斯、法比奥·德科尔、托马斯·费尔格雷夫、尤里·库兹涅佐夫、巴特·奥尔德曼、兰迪·帕芬罗斯、比约恩·桑德斯、王宪军和张成海 引用于： 957本出版物（1981年至2022年） 相关软件： AUTO-07P；HomCont；AUTO-86；MATCONT；XPPAUT；Matlab… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）
CVX公司 软件作者：迈克尔·格兰特；斯蒂芬·博伊德 引用于： 867出版物（2006–2022） 相关软件： 塞杜米；SDPT3；YALMIP；莫塞克；Matlab；PDCO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
科学Py 软件作者：Jones，E.、Oliphant，T.、Peterson，P.等人。 引用于： 579份出版物（2005年至2023年） 相关软件： 蟒蛇；数字Py；Matplotlib；Scikit；github；TensorFlow… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
古罗比 软件作者：宗豪古；Ed Rothberg；鲍勃·比克斯比；Gurobi Optimization公司。 引用于： 781出版物（2010-2023） 相关软件： CPLEX；SCIP；Ipopt；github；JuMP；Mosek… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
减少 软件作者：Anthony C.Hearn；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf；托马斯·斯特姆 引用于： 735出版物（1970–2021） 相关软件： 枫树；Mathematica；伊斯兰教；DIMSYM公司；EXCALC；AXIOM… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）
伊莎贝尔 软件作者：拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 引用于： 704出版物（1990年至2022年） 相关软件： Isabelle/HOL；HOL；Coq；PVS；存档正式证据；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）
伊斯兰教 软件作者：符号学 引用于： 713出版物（1971-2022） 相关软件： 枫树；Mathematica；减少；HIROTA.MAX公司；ATFM；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
SDPT3系统 软件作者：Toh，K.C。；托德，M.J。；TüTüncü，R.H。 引用于： 701出版物（1986–2022） 相关软件： 塞杜米；YALMIP；CVX；SDPA；CSDP；Mosek… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
z3（零3） 软件作者：微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 引用于： 640本出版物（2001年至2023年） 相关软件： CVC4；SMT-LIB；Yices；Coq；Isabelle/HOL；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
PARI/GP公司 软件作者：亨利·科恩；卡里姆·贝拉巴斯（Karim Belabas）；PARI组 引用于： 668本出版物（1992年至2023年） 相关软件： 岩浆；SageMath；间隙；ecdata；Mathematica；LMFDB… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）
可可 软件作者：CoCoa-Team；洛伦佐·罗比亚诺 引用于： 654出版物（1989–2023） 相关软件： 麦考利2号；单一；CoCoALib；枫树；Mathematica；岩浆… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）
Uppaal公司 软件作者：瑞典乌普萨拉大学；丹麦奥尔堡大学 引用于： 541出版物（1990年至2022年） 相关软件： 克罗诺斯；高科技；自旋蛋白；棱镜；IF-2.0；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
凯利 软件作者：C.T.凯利。 引用于： 649出版物（1995年至2022年） 相关软件： minpack；Matlab；L-BFGS；IMFIL；硝酚；DFO… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
鹦鹉螺 软件作者：布伦丹·麦凯；阿道夫·皮佩诺 引用于： 644出版物（1988年至2022年） 相关软件： 踪迹；间隙；葡萄；组织环境信息系统；SageMath；岩浆… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）
PVS公司 软件作者：Sam Owre、Natarajan Shankar、John Rushby 引用于： 606出版物（1993年至2022年） 相关软件： Coq；Isabelle/HOL；HOL；伊莎贝尔；Nuprl；ACL2… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
mf工具箱 软件作者：N。J.海姆 引用于： 637份出版物（2008年至2022年） 相关软件： mctoolbox；Matlab；MATLAB实验；Expokit；稀疏矩阵；Eigtool… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）
AMPL公司 软件作者：福勒，R.，盖伊，D.M.，科尼根，B.W。 引用于： 607出版物（1989年至2022年） 相关软件： CPLEX；Ipopt；GAMS；SNOPT；MINOS；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
数字Py 软件作者：奥列芬特，T.E。 引用于： 297出版物（2000年至2023年） 相关软件： 蟒蛇；SciPy；Matplotlib；Scikit；大熊猫；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
HOL公司 软件作者：迈克尔·J·C·戈登。 引用于： 582出版物（1985-2022） 相关软件： 伊莎贝尔；Isabelle/HOL；毫升；Coq；HOL灯；PVS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）
数学溢出 软件作者：Stack Exchange公司 引用于： 603出版物（2010-2022） 相关软件： 组织环境信息系统；SageMath；github；岩浆；间隙；DLMF… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）
糠 软件作者：Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 引用于： 544本出版物（2001-2022年） 相关软件： MiniSat；伯克敏；SATO；步行卫星；围攻；Velev SAT基准… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
超小卫星 软件作者：Niklas Eén、Niklas Sörensson 引用于： 559种出版物（2003年至2022年） 相关软件： 糠；伯克敏；玲玲；z3；PicoSAT；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
SCIP公司 软件作者：特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 引用于： 565份出版物（2005年至2023年） 相关软件： CPLEX；MIPLIB公司；古罗比；安提戈内；Ipopt；BARON… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）
FFTW公司 软件作者：麻省理工学院；马泰奥·弗里戈（Matteo Frigo）；史蒂文·约翰逊 引用于： 514出版物（2000-2022） 相关软件： Matlab；ATLAS；LAPACK；CUDA；螺旋形的；Python… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
朱莉娅 软件作者：Bezanson J、Karpinski S、Shah VB、Edelman A 引用于： 442出版物（2014-2023） 相关软件： JuMP；github；R；微分方程.jl；古罗比；Matlab… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）
莫塞克 软件作者：莫斯科ApS 引用于： 514出版物（1999-2023） 相关软件： YALMIP；塞杜米；SDPT3；CVX；CPLEX；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
LINPACK系列 软件作者：犹他大学数学系；J.Dongarra、J.Bunch、C.Moler、G.W.Stewart 引用于： 498本出版物（1979年至2022年） 相关软件： LAPACK；EISPACK；BLAS；Matlab；ScaLAPACK；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）
背包 软件作者：戴维·皮辛格（David Pisinger）；保罗·托斯 引用于： 504出版物（1995年至2022年） 相关软件： CPLEX；默克纳普；OR-库；古罗比；禁忌搜索；SCIP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
米扎尔 软件作者：Grzegorz Bancerek；茨瓦夫·拜林斯基；亚当·格拉博夫斯基（Adam Grabowski）；阿图尔·科尼洛维奇；罗伯特·米列夫斯基（Robert Milewski）；亚当·诺莫维奇（Adam Naumowicz）；Andrzej Trybulec；约瑟夫·乌尔班 引用于： 506出版物（1983年至2022年） 相关软件： Coq；Isabelle/HOL；HOL灯；伊莎贝尔；伊萨尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）
EISPACK公司 软件作者：Brian Smith、James Boyle、Jack Dongarra、Burton Garbow、Y.Ikebe、V.Klema、Cleve Moler 引用于： 489本出版物（1974年至2022年） 相关软件： LAPACK；LINPACK；BLAS；Matlab；ScaLAPACK；ARPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
国际实验室 软件作者：齐格弗里德·M·臀部。 引用于： 473出版物（1999-2022） 相关软件： Matlab；mctoolbox；C-XSC 2.0；进入PT_90；C-XSC；VERSOFT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）
MATCONT公司 软件作者：Dhooge，A。；乌龟，B。；Govaerts，W。；Yu.A.库兹涅佐夫。 引用于： 468本出版物（2003年至2023年） 相关软件： 自动；Matlab；CL_MATCONT；HomCont；AUTO-07P；XPPAUT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）
TETRAD公司 软件作者：克拉克·格雷摩尔（Clark Glymour）；理查德·谢恩斯（Richard Scheines）；彼得·斯皮特斯；约瑟夫·拉姆齐 引用于： 428本出版物（1993年至2022年） 相关软件： pcalg；R；MIM；玻璃；学习；UCI-ml… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）
切布冯 软件作者：Chebfun团队；A Driscoll，N.Hale，L.N.Trefethen 引用于： 440本出版物（2004年至2023年） 相关软件： Matlab；DLMF；Chebfun2；mctoolbox；github；切波普… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）
UMFPACK公司 软件作者：蒂莫西·戴维斯（Timothy A.Davis）。 引用于： 415出版物（1996-2023） 相关软件： PETSc；FreeFem++；交易.ii；MUMPS；特里利诺斯；LAPACK… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
抱怨 软件作者：数值算法组 引用于： 417出版物（1976–2022） 相关软件： 抱怨；Matlab；LAPACK；mctoolbox；枫树；LINPACK… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）
马特普洛特利布 软件作者：John Hunter、Darren Dale、Eric Firing、Michael Droettboom和matplotlib开发团队 引用于： 234出版物（2007-2023） 相关软件： 蟒蛇；数字Py；SciPy；Scikit；IPython；熊猫… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
GeoGebra公司 软件作者： – 引用于： 186本出版物（2007-2022） 相关软件： 几何画板；灰姑娘；GEX；地质学；单一；GCLC… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；几何（51-XX）
CGAL公司 软件作者：CGAL编辑委员会 引用于： 381出版物（2000年至2023年） 相关软件： LEDA；二维三角剖分；二维布置；三角形；促进；Qhull… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）
TPTP公司 软件作者：杰夫·萨克利夫（Geoff Sutcliffe）；克里斯蒂安·萨特纳 引用于： 396出版物（1994年至2022年） 相关软件： VAMPIRE公司；E定理证明器；SPASS；Isabelle/HOL；水獭；沙达拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
Nuprl公司 软件作者：R。L.Constable、S.F.Allen、H.M.Bromley、W.R.Cleaveland、J.F.Cremer、R.W.Harper、D.J.Howe、T.B.Knoblock、N.P.Mendler、P.Panangaden、J.T.Sasaki、S.F Smith 引用于： 396出版物（1986年至2022年） 相关软件： Coq；HOL；伊莎贝尔；自动化；PVS；ML… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；交换代数（13-XX）
symrcm公司 软件作者：艾伦·乔治；Joseph Liu；约翰·吉尔伯特（John R.Gilbert）。；聪明的鼹鼠；罗伯特·施赖伯 引用于： 382出版物（1979-2022） 相关软件： 稀疏矩阵；CSparse；LAPACK；METIS公司；Matlab；YSMP… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
MersenneTwister公司 软件作者：松本真本；西村、高治 引用于： 339出版物（1998年至2022年） 相关软件： 测试U01；R；迪哈德；CUDA；GSL；TOMS659… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
表格 软件作者：Kuipers，J。；上田，T。；Vermaseren，J.A.M。；J.沃林加。 引用于： 340出版物（1993年至2022年） 相关软件： 粉碎机；阿克索德劳；雷杜泽；Mathematica；Forcer；谐波和… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；量子理论（81-XX）
取消锁定BoX 软件作者：纳撒内尔·佩罗丁 引用于： 344出版物（2010-2022） 相关软件： PDCO；NESTA；SPGL1；github；RecPF；iPiano… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
多晶的 软件作者：Ewgenij Gawrilow、Michael Joswig和polymake团队 引用于： 336出版物（2000-2022） 相关软件： 麦考利2号；格凡；Normaliz；单一；间隙；TOPCOM… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）
高超声速 软件作者：汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 引用于： 312出版物（1996-2021） 相关软件： Uppaal；PHAVer；克罗诺斯；自旋蛋白；SpaceEx；日/日… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Qhull公司 软件作者：C、。Bradford Barber、Hannu Huhdanpaa 引用于： 312出版物（1996-2022） 相关软件： Matlab；CGAL；三角形；UCI-ml；R；数学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
GloptiPoly公司 软件作者：迪迪埃·亨利安（Didier Henrion）；Jean-Bernard Lasserre；约翰·勒夫伯格 引用于： 330本出版物（2003年至2022年） 相关软件： 塞杜米；YALMIP；粪便；SDPT3；Matlab；稀疏POP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
电子数据 软件作者：J。E.克雷莫纳 引用于： 330出版物（1992年至2022年） 相关软件： 岩浆；SageMath；PARI/GP；LMFDB；mwrank；APECS… 主要字段： 数论（11-XX）；代数几何（14-XX）；群论与推广（20-XX）
水獭 软件作者：比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 引用于： 305本出版物（1988年至2022年） 相关软件： TPTP；梅斯4；VAMPIRE公司；SPASS；E定理证明器；SETHEO… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）
协和式飞机 软件作者：Applegate，David L。；Robert E.Bixby。；瓦舍克·查塔尔；威廉·库克。 引用于： 311出版物（1997年至2022年） 相关软件： TSPLIB；LKH；VRP；CPLEX；SCIP；DIMACS… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
倍频程 软件作者：约翰·伊顿 引用于： 279出版物（1992年至2022年） 相关软件： Matlab；R；科学实验室；蟒蛇；Mathematica；LAPACK… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）
抱怨 软件作者：数值算法组（NAG） 引用于： 313出版物（1979-2022） 相关软件： 抱怨；Matlab；LAPACK；IMSL数字图书馆；QUADPACK公司；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；统计学（62-XX）
HOL灯 软件作者：约翰·哈里森 引用于： 305本出版物（1998年至2022年） 相关软件： Coq；Isabelle/HOL；HOL；伊莎贝尔；米扎尔；ML… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）
基础知识 软件作者：卡拉博加、德尔维斯；巴里耶·巴斯特克 引用于： 258本出版物（2007-2022年） 相关软件： GSA；GWO；CEC 05；玉；WOA；CEC 13… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
并入PT_90 软件作者：R.Baker Kearfott先生 引用于： 304出版物（1996-2021） 相关软件： 国际实验室；剖面/偏差；C-XSC；C-XSC 2.0；BARON公司；数值… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）
Sostools公司 软件作者：史蒂芬·般若（Stephen Prajna）；安东尼斯·帕帕克里斯托杜鲁（Antonis Papachristodoulou）；彼得·塞勒（Peter Seiler）；巴勃罗·帕里洛。 引用于： 297出版物（2002年至2023年） 相关软件： 塞杜米；YALMIP；GloptiPoly；Matlab；SDPT3；SDPA… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）
ACL2型 软件作者：马特·考夫曼（Matt Kaufmann）、斯特罗特·摩尔（Strother Moore） 引用于： 280本出版物（1998年至2022年） 相关软件： Coq；Isabelle/HOL；HOL；PVS；伊莎贝尔；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）
gmp公司 软件作者：格兰伦德 引用于： 275本出版物（1995年至2023年） 相关软件： MPFR；NTL；PARI/GP；SageMath；岩浆；数学… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）
QEPCAD公司 软件作者：Hoon Hong；克里斯托弗·布朗（Christopher W.Brown）。 引用于： 286出版物（1991年至2023年） 相关软件： REDLOG；枫树；RSOLVER公司；梅蒂塔斯基；发现者；z3… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）
自动-86 软件作者：Alan Champneys、Fabio Dercole、Thomas Fairgrife、Yuri Kuznetsov、Bart Oldeman、Randy Paffenroth、Bjorn Sandstede、Xianjun Wang和Chenghai Zhang 引用于： 278出版物（1987年至2021年） 相关软件： 自动；PITCON；DSTool；HomCont；MATCONT；数学… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）
麦克利埃塞 软件作者：斯特凡·海斯；阿米尔·莫拉迪；克里斯托夫·帕尔 引用于： 270本出版物（1981年至2022年） 相关软件： NTRU；岩浆；自行车；NTL；杜兰达尔；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）
OCaml公司 软件作者：INRIA公司；X.Leroy、D.Rémy、J.Vouillon、D.Doligez 引用于： 260出版物（1998年至2022年） 相关软件： Coq；哈斯克尔；Isabelle/HOL；毫升；HOL；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）
GSL公司 软件作者：自由软件基金会，M.Galassi，J.Davies，J.Theiler，B.Gough，G.Jungman，P.Alken，M.Booth，F.Rossi 引用于： 252出版物（2002年至2022年） 相关软件： R；LAPACK；MersenneTwister；PETSc；Mathematica；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）
克洛诺斯 软件作者：Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 引用于： 243本出版物（1997年至2021年） 相关软件： Uppaal；高科技；自旋蛋白；IF-2.0；Uppaal2k；CMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
佩尔 软件作者：拉里·沃尔 引用于： 218出版物（1992年至2022年） 相关软件： TTTPLOTS；蟒蛇；GRASP；分散搜索；R；禁忌搜索… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
贝尔蒂尼 软件作者：D。贝茨，J.豪恩斯坦，A.Sommese，C。Wampler公司 引用于： 261出版物（2008–2023） 相关软件： PHCpack；麦考利2号；HOM4PS；alpha认证；单一；数字代数几何… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）
LEDA公司 软件作者：库尔特·梅尔霍恩（Kurt Mehlhorn）；纳什，斯特凡 引用于： 258出版物（1990年至2022年） 相关软件： CGAL；CPLEX；船体；DIMACS；促进；MAPC… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
代码表 软件作者：马库斯·格拉斯；A.E.Brouwer。 引用于： 263出版物（1998年至2022年） 相关软件： 岩浆；间隙；薄荷；鹦鹉螺；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；数论（11-XX）；几何（51-XX）
ADIFR公司 软件作者：克里斯蒂安·比肖夫（Christian Bischof）；艾伦·卡尔；乔治·柯利斯（George Corliss）；安德烈亚斯·格雷万克 引用于： 250本出版物（1992年至2020年） 相关软件： ADOL-C；ADIC；锥体；TAMC；TAF；PETSc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
FGb公司 软件作者：J-C.福盖尔 引用于： 247本出版物（1998年至2023年） 相关软件： 岩浆；单一；枫树；隔离；克罗内克；闪烁… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）
其mr 软件作者：乔治·威格特 引用于： 226出版物（1996-2022） 相关软件： ITSM2000；R；astsa；长备忘录；Matlab；毛虫SSA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
雪佛兰 软件作者：Geck，Meinolf；希斯，格哈德；吕贝克，弗兰克；Gunter Malle；格茨·普菲弗 引用于： 239出版物（1994年至2022年） 相关软件： 间隙；岩浆；枫树；SageMath；单一；考克塞特… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）
PHC包 软件作者：简·维舍尔 引用于： 232本出版物（1999-2022） 相关软件： 贝尔蒂尼；HOM4PS；麦考利2号；单一；PHoM；混合音量… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）
艾根 软件作者：盖尔·根内鲍德·贝诺·雅各布 引用于： 193本出版物（2012-2023） 相关软件： R；github；PETSc；CUDA；Matlab；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）