Matlab公司 14247年文献引用(1982–2025) 软件作者: MathWorks公司 相关软件: Simulink;LMI工具箱;枫树… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
R(右) 9791文件引用(1978–2024) 软件作者: 哈德利·威克姆;先生,罗伯特;罗斯·伊哈卡(Ross Ihaka);约翰·钱伯斯(John M.Chambers)。;William N.Venables。;布莱恩·里普利。 相关软件: CRAN;ggplot2;SAS… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
数学软件 引用于6661份文件(1986–2024) 软件作者: 沃尔夫勒姆研究公司 相关软件: 枫树;Matlab;R、 … 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
枫树 5428份文件引用(1983–2024) 软件作者: 滑铁卢枫树公司。 相关软件: Mathematica;Matlab;岩浆… 主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)…
组织环境信息系统 5405文件引用(1973–2025) 软件作者: 尼尔·J·A·斯隆。;OEIS基金会。 相关软件: SageMath;Mathematica;间隙… 主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX)…
github 5226份文件引用(2010–2024) 软件作者: github 相关软件: R;亚当;Matlab… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
岩浆 4060份文件引用(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)…
DLMF公司 3825份文件引用(2000–2024) 软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。 相关软件: Mathematica;Matlab;OEIS… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
间隙 3713份文件引用(1990–2024) 软件作者: GAP集团 相关软件: 岩浆;SageMath;ATLAS集团代表… 主要字段: 组合数学(05-XX);代数几何(14-XX);结合环与代数(16-XX)…
CPLEX公司 3000篇文献引用(1992–2024) 软件作者: 国际商用机器公司 相关软件: 古罗比;SCIP;AMPL… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
蟒蛇 1534年文献引用(1991–2025) 软件作者: 吉多·范罗苏姆 相关软件: SciPy;数字Py;Matplotlib… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
SageMath公司 2666份文件引用(2002–2024) 软件作者: 贤明的开发商;威廉·斯坦因;大卫·乔伊纳(David Joyner);David Kohel;约翰·克雷莫纳;伯里钦·埃罗卡尔 相关软件: 岩浆;间隙;GitHub… 主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…
麦考利2 2276份文件引用(1988–2024) 软件作者: 丹尼尔·格雷森(Daniel R.Grayson)。;迈克尔·E·斯蒂尔曼。;戴维·艾森巴德(David Eisenbud);http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件: 单一;可可;SageMath… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
Coq公司 1992年文献引用(1993–2024) 软件作者: 克利斯朵夫·德林格;Jean-François Dufourd 相关软件: Isabelle/HOL;伊莎贝尔;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
亚当 1831年文献引用(2016–2024) 软件作者: 迪德里克·P·金马、吉米·巴 相关软件: TensorFlow;PyTorch;ImageNet… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
LAPACK公司 1773年文献引用(1988–2024) 软件作者: LAPACK团队:lapack@cs.utk.edu 相关软件: 爆破;ScaLAPACK;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
单数的 1664年文献引用(1991–2024) 软件作者: Wolfram Decker;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼 相关软件: 麦考利2号;可可;SageMath… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…
mctoolbox软件 1630年文献引用(1995–2024) 软件作者: 尼克·海姆 相关软件: LAPACK;Matlab;mftoolx… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
CUDA公司 1228年文献引用(2007–2024) 软件作者: NVIDIA公司;佩特·文格曼;Frank H.P.菲泽克。 相关软件: OpenCL;CUBLAS;Matlab… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
PRMLT公司 1374年文献引用(2006年至2024年) 软件作者: C.主教 相关软件: UCI-ml;ElemStatLearn;亚当… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
塞杜米 1389份文献中引用(1999–2024) 软件作者: 斯图尔姆·J·F 相关软件: YALMIP;SDPT3;GloptiPoly… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
伦敦银行支持向量机 1063年文献引用(2002–2024) 软件作者: Chih-Chung Chang;林智仁 相关软件: UCI-ml;LIBLINEAR;SVM灯光… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
伊莎贝尔/HOL 1107文件引用(1996–2024) 软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科 相关软件: 伊莎贝尔;Coq;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
HE-E1GODF公司 1150份文件引用(1997–2024) 软件作者: E.F托罗 相关软件: HLLE;澳大利亚统计局;MOOD… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
古罗比 1112文件引用(2010–2024) 软件作者: 宗豪古;Ed Rothberg;鲍勃·比克斯比;Gurobi Optimization公司。 相关软件: CPLEX;SCIP;GitHub… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
科学Py 837份文件引用(2005–2024) 软件作者: Jones,E.、Oliphant,T.、Peterson,P.等人。 相关软件: 蟒蛇;数字Py;Matplotlib… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
科恩平滑 1082文件引用(1993–2024) 软件作者: Wand,医学博士。;M.C.琼斯。;布莱恩·里普利 相关软件: R;pyuvdata;fda(R)… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
TensorFlow公司 888份文件中引用(2016–2024) 软件作者: 谷歌大脑团队;M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin等人 相关软件: 亚当;PyTorch;Keras… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
禁忌搜索 1027份文件引用(1991–2022) 软件作者: 弗雷德·格洛弗(Fred Glover);埃里克·泰勒;多米尼克·德韦拉 相关软件: 分散搜索;CPLEX;VRP… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
L-BFGS公司 1031文件引用(1981–2024) 软件作者: 朱慈友;理查德·伯德。;吕培煌;豪尔赫·诺塞达尔 相关软件: L-BFGS-B;LBFGS-B;切割机… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
CVX公司 1001文件引用(2006年至2024年) 软件作者: 迈克尔·格兰特;斯蒂芬·博伊德 相关软件: SDPT3;塞杜米;YALMIP… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
Scikit公司 760份文件引用(2011–2024) 软件作者: 费比安·佩德雷戈萨;加尔·瓦罗佐;亚历山大·格兰福特;文森特·米歇尔;贝特朗·蒂里昂;奥利维尔·格里塞尔(Olivier Grisel);马修·布隆德尔;彼得·普雷滕霍弗(Peter Prettenhofer);罗恩·维斯(Ron Weiss);文森特·杜伯格(Vincent Dubourg);Jake Vanderplas;亚历山大·帕索斯;大卫·库尔纳波;马蒂厄·布鲁彻;马蒂厄·佩罗(Matthieu Perrot);爱杜华·公爵夫人 相关软件: 蟒蛇;SciPy;TensorFlow… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
伊波特 930份文件引用(2005–2024) 软件作者: 安德烈亚斯·瓦希特(Andreas Waechter)、卡尔·莱尔德(Carl Laird) 相关软件: AMPL;SNOPT;CPLEX… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
朱莉娅 688份文件引用(2014–2024) 软件作者: Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件: github;JuMP;微分方程.jl… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
z3(零3) 774份文件引用(2001–2024) 软件作者: 微软研究院;莱昂纳多·德·莫拉;尼古拉·比约纳 相关软件: CVC4;SMT-LIB;Yices… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
数字Py 454份文件引用(2000–2024) 软件作者: 奥列芬特,T.E。 相关软件: 蟒蛇;SciPy;Matplotlib… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
ANSYS有限元分析软件 780篇文献引用(1978–2024) 软件作者: John Swanson,Ansys公司。 相关软件: ABAQUS;Matlab;FLUENT… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
SDPT3系统 770份文件引用(1986–2024) 软件作者: Toh,K.C。;托德,M.J。;TüTüncü,R.H。 相关软件: 塞杜米;YALMIP;CVX… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
PARI/GP公司 765份文件引用(1992–2024) 软件作者: 亨利·科恩;卡里姆·贝拉巴斯(Karim Belabas);PARI组 相关软件: 岩浆;SageMath;蜕皮… 主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…
减少 743份文件中引用(1970–2024) 软件作者: Anthony C.Hearn;雷娜,格哈德;Rainer Schöpf;托马斯·斯特姆 相关软件: 枫树;Mathematica;马西玛… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
mf工具箱 751份文件引用(2008–2024) 软件作者: N.J.海姆 相关软件: mctoolbox;Matlab;MATLAB扩展… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX)…
COMSOL公司 708份文件引用(2000–2024) 软件作者: COMSOL公司。 相关软件: Matlab;ABAQUS;ANSYS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
伊斯兰教 721份文件引用(1971–2023) 软件作者: 符号学 相关软件: 枫树;Mathematica;减少… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
阿尔戈尔60 657份文件引用(1959–2024) 软件作者: Naur,P。;巴克斯,J.W。;等。 相关软件: ALGOL 68;欧拉;损益表… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
AMPL公司 656份文件引用(1989年至2024年) 软件作者: 福勒,R.,盖伊,D.M.,科尼根,B.W。 相关软件: CPLEX;Ipopt;游戏… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
莫塞克 647份文件引用(1999–2024) 软件作者: 莫斯科ApS 相关软件: YALMIP;塞杜米;SDPT3… 主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…
凯利 664份文件引用(1995–2024) 软件作者: C.T.凯利。 相关软件: minpack;L-BFGS;Matlab… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
SIFT公司 385份文件引用(2006年至2024年) 软件作者: 大卫·罗伊 相关软件: 冲浪;PCA-SIFT;PASCAL VOC… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
超小卫星 588份文件引用(2003–2023) 软件作者: Niklas Eén、Niklas Sörensson 相关软件: 糠;伯克敏;z3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
Eigtool公司 引用于605份文件(1996–2024) 软件作者: 托马斯·赖特;Nick Trefethen;马克·恩布雷 相关软件: ARPACK;Seigtool公司;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);算子理论(47-XX)…
SNOPT公司 588份文件引用(1997–2024) 软件作者: 菲利普·吉尔(Philip E.Gill)。;沃尔特·默里(Walter Murray);迈克尔·桑德斯。 相关软件: Ipopt;针织衫;AMPL… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
LINPACK系列 509份文件引用(1979–2023) 软件作者: 犹他大学数学系;J.Dongarra、J.Bunch、C.Moler、G.W.Stewart 相关软件: LAPACK;EISPACK;BLAS… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
切布冯 529份文件引用(2004–2024) 软件作者: Chebfun团队;A Driscoll,N.Hale,L.N.Trefethen 相关软件: Matlab;DLMF;Chebfun2… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…
马特普洛特利布 315篇文献引用(2007–2024) 软件作者: John Hunter、Darren Dale、Eric Firing、Michael Droettboom和matplotlib开发团队 相关软件: 数字Py;蟒蛇;科学… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
国际实验室 514份文件引用(1999–2024) 软件作者: 齐格弗里德·M·臀部。 相关软件: Matlab;mctoolbox;C-XSC 2.0… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
运营质量 512篇文献引用(2004–2024) 软件作者: 沃尔特·高茨基 相关软件: Matlab;DLMF;正交多项式… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);近似和展开(41-XX)…
伊斯梅夫 472份文件引用(2001–2024) 软件作者: 珍妮特·赫夫南(Janet E.Heffernan);亚历克·斯蒂芬森 相关软件: R;量化风险管理;空间极值… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
CGAL公司 428份文件中引用(2000–2024) 软件作者: CGAL编辑委员会 相关软件: 莱达;二维三角剖分;三角形… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…
MINOS公司 461份文件引用(1980–2023) 软件作者: B.A.Murtagh;M.A.桑德斯 相关软件: GAMS;SNOPT;AMPL… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
MNIST公司 417份文件引用(2001–2024) 软件作者: Y.LeCun;C.科尔特斯;克里斯托弗·J·C·伯格 相关软件: 亚当;UCI-ml;CIFAR… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
LSQR(LSQR) 447份文件引用(1982–2024) 软件作者: 克里斯托弗·佩奇(Christopher C.Paige)。;迈克尔·桑德斯。 相关软件: CRAIG公司;正规化工具;LSMR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
三角形 393份文件引用(1996–2024) 软件作者: 乔纳森·理查德·谢楚克 相关软件: TetGen;CGAL;Gmsh… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
Turbo帕斯卡 165篇文献引用(1985–2017) 软件作者: 博兰德;菲利普·卡恩 相关软件: dBase;调制;COBOL… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
Qhull公司 332份文件引用(1996–2024) 软件作者: C.Bradford Barber、Hannu Huhdanpaa 相关软件: Matlab;CGAL;三角形… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
CRAIG公司 344份文件引用(1986–2023) 软件作者: 克里斯·佩奇、迈克尔·桑德斯、多米尼克·奥尔班 相关软件: LSQR;正规化工具;LSMR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
ISOGAT公司 344份文件引用(2009–2024) 软件作者: Vuong,A.-V。;Heinrich,Ch。;B.西蒙。 相关软件: 地理PDE;Matlab;G+Smo… 主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…
PMTK公司 331份文件引用(2012–2024) 软件作者: Dunham M、Murphy K 相关软件: PRMLT;亚当;ElemStatLearn… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
Wasserstein甘 321份文件引用(2018年至2024年) 软件作者: 马丁·阿乔夫斯基(Martin Arjovsky);索米斯·钦塔拉;莱昂·博图 相关软件: 亚当;像素x像素;CycleGAN… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
Sostools公司 325篇文献引用(2002–2024) 软件作者: 史蒂芬·般若(Stephen Prajna);安东尼斯·帕帕克里斯托杜鲁(Antonis Papachristodoulou);彼得·塞勒(Peter Seiler);巴勃罗·帕里洛。 相关软件: 塞杜米;YALMIP;GloptiPoly… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
凯拉斯 269篇文献引用(2017–2024) 软件作者: F.胆汁 相关软件: TensorFlow;亚当;GitHub… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
gmp公司 301文件引用(1995–2024) 软件作者: 格兰伦德 相关软件: MPFR;NTL;PARI/GP… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…
抱怨 313篇文献引用(1979–2022) 软件作者: 数值算法组(NAG) 相关软件: 抱怨;Matlab;LAPACK… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);统计学(62-XX)…
ANFIS公司 220篇文献引用(1995–2024) 软件作者: Jang,J.-S.R.公司。 相关软件: UCI-ml;基因组学;DENFIS… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
贝尔蒂尼 298篇文献引用(2008–2024) 软件作者: D.Bates、J.Hauenstein、A.Sommese、C.Wampler 相关软件: PHC包装;麦考利2号;HOM4PS… 主要字段: 交换代数(13-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)…
单词2vec 281份文件引用(2015–2024) 软件作者: 托马斯·米科洛夫等人。 相关软件: 全球;node2vec;DeepWalk… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
QEPCAD公司 297篇文献引用(1991–2024) 软件作者: 胡红;克里斯托弗·布朗(Christopher W.Brown)。 相关软件: REDLOG;枫树;发现者… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);数值分析(65-XX)…
EMD公司 232份文件引用(2000–2024) 软件作者: Y.鲁布纳 相关软件: Wasserstein GAN;SIFT;简单性… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
日晷 256篇文献引用(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)…
QUADPACK公司 269篇文献引用(1982–2024) 软件作者: Robert Piessens、Elise de Donker、C.Ueberhuber、David Kahaner 相关软件: R;Matlab;LAPACK… 主要字段: 特殊功能(33-XX);近似和展开(41-XX);统计学(62-XX)…
克里斯托费尔 271份文件引用(1996–2024) 软件作者: 托宾·A·德里斯科尔 相关软件: SC工具箱;Matlab;SCPACK… 主要字段: 复变量函数(30-XX);偏微分方程(35-XX);数值分析(65-XX)…
相位提升 272份文件引用(2012–2024) 软件作者: 伊曼纽尔·坎迪斯。;尤尼娜·C·埃尔达尔。;托马斯·斯特罗默(Thomas Strohmer);弗拉迪斯拉夫·沃罗宁斯基 相关软件: 导缆器流量;PhaseMax;GESPAR… 主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);数值分析(65-XX)…
张紧器2传感器 251份文件引用(2019–2024) 软件作者: Ashish Vaswani等人。 相关软件: 亚当;BERT;ImageNet… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
XGBoost公司 242份文件中引用(2017–2024) 软件作者: 陈天琦,卡洛斯·盖斯特林 相关软件: Scikit;UCI-ml;LightGBM… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
MPFR公司 引用于253份文件(2001–2024) 软件作者: 纪尧姆·汉洛(Guillaume Hanrot)、文森特·列夫雷(Vincent Lefèvre)、帕特里克·佩利西尔(Patrick Pélissier)、菲利普·塞维尼(Philippe Théveny)、保罗·齐默尔曼 相关软件: gmp;Mathematica;mctoolbox… 主要字段: 数论(11-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
PHC包 250篇文献引用(1999–2024) 软件作者: 简·维舍尔 相关软件: 贝尔蒂尼;麦考利2号;HOM4PS… 主要字段: 交换代数(13-XX);代数几何(14-XX);数值分析(65-XX)…
开放运算语言 201份文件引用(2009–2024) 软件作者: Khronos OpenCL工作组 相关软件: CUDA;磁粉检测;Matlab… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
NetworkX公司 206篇文献引用(2008–2024) 软件作者: Aric Hagberg、Dan Schult、Pieter Swart 相关软件: 蟒蛇;SciPy;数字标识… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
开普勒98 237篇文献引用(2000–2024) 软件作者: 托马斯·黑尔斯(Thomas C.Hales)。;塞缪尔·弗格森。 相关软件: Flyspeck;Isabelle/HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);凸和离散几何(52-XX)…
SymPy公司 195篇文献引用(2010–2024) 软件作者: SymPy开发团队;戴维·乔伊纳(David Joyner);Čertík,安大略省;亚伦·梅勒;布莱恩·格兰杰(Brian E.Granger)。 相关软件: 蟒蛇;数字Py;科学… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
范胡菲尔 229篇文献引用(1991–2023) 软件作者: 范·赫菲尔(Sabine van Huffel);乔斯·范德维尔 相关软件: 正规化工具;mctoolbox;UTV… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
SC工具箱 234篇文献引用(1996–2024) 软件作者: 托宾·A·德里斯科尔。 相关软件: 施瓦兹-克里斯托菲尔;Matlab;SCPACK… 主要字段: 复变量函数(30-XX);势能理论(31-XX);偏微分方程(35-XX)…
TetGen公司 217篇文献引用(2006年至2024年) 软件作者: 汉斯 相关软件: 三角形;Gmsh;CGAL… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
针织衫 221篇文献引用(2003–2024) 软件作者: 青蒿;Ziena Optimization,R.Byrd、J.Nocedal、R.Waltz 相关软件: Ipopt;SNOPT;AMPL… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
JuMP公司 196篇文献中引用(2017–2024) 软件作者: I.Dunning、J.Huchette、M.Lubin 相关软件: 朱莉娅;古罗比;GitHub… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
马克西玛 174篇文献引用(1998年至2024年) 软件作者: 威廉·谢尔特 相关软件: Mathematica;SageMath;枫树… 主要字段: 群论与推广(20-XX);数值分析(65-XX);计算机科学(68-XX)…
JavaScript脚本 143篇文献引用(1996–2024) 软件作者: 弗拉纳根 相关软件: 蟒蛇;PHP;节点.js… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
AXIOM公司 173篇文献引用(1992–2022) 软件作者: Tim Daly等人。;http://wiki.axiom-developer.org/axiom-website/community.html 相关软件: 枫树;Mathematica;减少… 主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…
马诺普特 170篇文献引用(2013–2024) 软件作者: 尼古拉·鲍马尔(Nicolas Boumal);Bamdev Mishra;P.-A.Absil;鲁道夫·塞普尔赫里 相关软件: RTRMC;皮曼诺普;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…