Matlab公司 软件作者:MathWorks公司 引用于: 13212种出版物(1982年至2024年) 相关软件: Simulink;枫树;LMI工具箱;MATLAB ODE套件;ode23;ode45… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)
数学软件 软件作者:Wolfram研究 引用于: 6267出版物(1986年至2023年) 相关软件: 枫树;Matlab;R;SageMath;伊斯兰教;DLMF… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)
枫树 软件作者:滑铁卢枫树公司。 引用于: 5252本出版物(1983年至2023年) 相关软件: Mathematica;Matlab;伊斯兰教;岩浆;单一;减少… 主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)
组织环境信息系统 软件作者:尼尔·J·A·斯隆。;OEIS基金会。 引用于: 4444出版物(1973–2023) 相关软件: SageMath;间隙;Mathematica;DLMF;枫树;岩浆… 主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX)
岩浆 软件作者:西。Bosma,A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 引用于: 3484出版物(1994年至2023年) 相关软件: 间隙;SageMath;PARI/GP;单一;枫树;代码表… 主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)
间隙 软件作者:GAP集团 引用于: 3299本出版物(1990年至2023年) 相关软件: 岩浆;SageMath;ATLAS集团代表;雪维;鹦鹉螺;葡萄… 主要字段: 组合数学(05-XX);代数几何(14-XX);结合环与代数(16-XX)
github 软件作者:github公司 引用于: 3030本出版物(2010年至2022年) 相关软件: R;Matlab;蟒蛇;亚当;TensorFlow;SageMath… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
DLMF公司 软件作者:丹尼尔·洛泽尔(Daniel W.Lozier)。 引用于: 3038出版物(2000年至2023年) 相关软件: Mathematica;Matlab;组织环境信息系统;切布冯;github;枫树… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)
蟒蛇 软件作者:吉多·范·罗苏姆 引用于: 1168出版物(1991年至2023年) 相关软件: SciPy;数字Py;Matplotlib;Scikit;Matlab;R、 … 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
SageMath公司 软件作者:贤明的开发商;威廉·斯坦因;大卫·乔伊纳(David Joyner);David Kohel;约翰·克雷莫纳;伯里钦·埃罗卡尔 引用于: 2146出版物(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/贡献者/ 引用于: 2002年出版物(1988–2023) 相关软件: 单一;可可;SageMath;贝尔蒂尼;岩浆;枫树… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)
Coq公司 软件作者:克利斯朵夫·德林格;Jean-François Dufourd 引用于: 1835种出版物(1993年至2023年) 相关软件: Isabelle/HOL;伊莎贝尔;HOL;PVS;HOL灯;数字(amp;N)… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)
罗德斯 软件作者:E.公司。G.Wanner Hairer 引用于: 1756本出版物(1989年至2022年) 相关软件: Matlab;歌曲15;MEBDF;MATLAB ODE套件;ode23;代码23s… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)
单一 软件作者:Wolfram Decker;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼 引用于: 1543本出版物(1991年至2023年) 相关软件: 麦考利2号;可可;SageMath;岩浆;枫树;primdec… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)
塞杜米 软件作者:斯图尔姆·J·F 引用于: 1292出版物(1999-2022) 相关软件: YALMIP;SDPT3;GloptiPoly;粪便;CVX;Matlab… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
FEniCS公司 软件作者:剑桥大学、芝加哥大学、德克萨斯理工大学和KTH皇家理工学院Simula研究实验室 引用于: 854份出版物(2007-2023) 相关软件: SyFi;PETSc;道芬;Gmsh;蟒蛇;交易.ii… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)
TensorFlow公司 软件作者:谷歌大脑团队;M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin等人 引用于: 610出版物(2016–2023) 相关软件: 亚当;PyTorch;凯拉斯;蟒蛇;ImageNet;Scikit… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-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)
伊斯兰教 软件作者:符号学 引用于: 714出版物(1971-2023) 相关软件: 枫树;Mathematica;减少;HIROTA.MAX公司;ATFM;Matlab… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)
SDPT3系统 软件作者:Toh,K.C。;托德,M.J。;TüTüncü,R.H。 引用于: 703出版物(1986–2023) 相关软件: 塞杜米;YALMIP;CVX;SDPA;CSDP;Mosek… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
PARI/GP公司 软件作者:亨利·科恩;卡里姆·贝拉巴斯(Karim Belabas);PARI组 引用于: 670本出版物(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)
阿尔戈60 软件作者:Naur,P。;巴克斯,J.W。;等。 引用于: 646出版物(1959年至2022年) 相关软件: ALGOL 68;欧拉;损益表;Simula 67;COBOL;ML… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)
鹦鹉螺 软件作者:布伦丹·麦凯;阿道夫·皮佩诺 引用于: 644出版物(1988年至2022年) 相关软件: 踪迹;间隙;葡萄;组织环境信息系统;SageMath;极乐… 主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)
mf工具箱 软件作者:N。J.海姆 引用于: 637份出版物(2008年至2022年) 相关软件: mctoolbox;Matlab;MATLAB实验;Expokit;稀疏矩阵;Eigtool… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX)
数学溢出 软件作者:Stack Exchange公司 引用于: 603出版物(2010-2022) 相关软件: 组织环境信息系统;SageMath;github;岩浆;间隙;DLMF… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)
PyTorch公司 软件作者:答:。Paszke、S.Gross、F.Massa、A.Lerer、J.Bradbury、G.Chanan、T.Killeen、Z.Lin、N.Gimelshein、L.Antiga、A.Desmaison、A.Kopf、E.Yang、Z.DeVito、M.Raison、A.Tejani、S.Chilamkurthy、B.Steiner、L.Fang、J.Bai、S.Chintala 引用于: 409出版物(2018–2023) 相关软件: 亚当;TensorFlow;蟒蛇;ImageNet;Scikit;GitHub… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)
SCIP公司 软件作者:特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 引用于: 567出版物(2005-2023) 相关软件: CPLEX;MIPLIB公司;古罗比;安提戈内;Ipopt;BARON… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)
莫塞克 软件作者:莫斯科ApS 引用于: 520出版物(1999-2023) 相关软件: YALMIP;塞杜米;SDPT3;CVX;CPLEX;Matlab… 主要字段: 统计学(62-XX);数值分析(65-XX);可变形固体力学(74-XX)
磁粉探伤 软件作者:杰弗里·菲克(Jeffrey A.Fike)。;胡安·阿隆索。 引用于: 475本出版物(1990年至2022年) 相关软件: LAPACK;CUDA;PETSc;ScaLAPACK;BLAS;PVM… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-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)
Turbo帕斯卡 软件作者:博兰德;菲利普·卡恩 引用于: 165本出版物(1985-2017) 相关软件: dBase;减少;COBOL;乘法运算;GBDRN;模块… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)
GMRF库 软件作者:哈瓦德街;莱昂哈德·赫尔德 引用于: 353出版物(1991年至2022年) 相关软件: R;spBayes;贝叶斯DA;FRK公司;法赫迈尔;R-INLA… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)
表格 软件作者:Kuipers,J。;上田,T。;Vermaseren,J.A.M。;J.沃林加。 引用于: 340出版物(1993年至2022年) 相关软件: 粉碎机;阿克索德劳;雷杜泽;Mathematica;Forcer;谐波和… 主要字段: 动力系统与遍历理论(37-XX);粒子和系统力学(70-XX);量子理论(81-XX)
多晶的 软件作者:Ewgenij Gawrilow、Michael Joswig和polymake团队 引用于: 336出版物(2000-2022) 相关软件: 麦考利2号;格凡;Normaliz;单一;间隙;TOPCOM… 主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-XX)
Qhull公司 软件作者:C、。Bradford Barber、Hannu Huhdanpaa 引用于: 312出版物(1996-2022) 相关软件: Matlab;CGAL;三角形;TetGen;UCI-ml;船体… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
gmp公司 软件作者:格兰伦德 引用于: 275本出版物(1995年至2023年) 相关软件: MPFR;NTL;PARI/GP;SageMath;岩浆;数学… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)
GSL公司 软件作者:自由软件基金会,M.Galassi,J.Davies,J.Theiler,B.Gough,G.Jungman,P.Alken,M.Booth,F.Rossi 引用于: 253本出版物(2002年至2022年) 相关软件: R;LAPACK;MersenneTwister;PETSc;Mathematica;Matlab… 主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)
贝尔蒂尼 软件作者:D。贝茨,J.豪恩斯坦,A.Sommese,C。Wampler公司 引用于: 261出版物(2008–2023) 相关软件: PHCpack;麦考利2号;HOM4PS;alpha认证;单一;数字代数几何… 主要字段: 交换代数(13-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)
代码表 软件作者:马库斯·格拉斯;A.E.Brouwer。 引用于: 263出版物(1998年至2022年) 相关软件: 岩浆;间隙;薄荷;鹦鹉螺;SageMath;ATLAS集团代表… 主要字段: 组合数学(05-XX);数论(11-XX);几何(51-XX)
ADOL-C公司 软件作者:安德烈亚·沃尔特(Andrea Walther)、安德烈亚斯·科瓦兹(Andreas Kowarz)、安德烈亚斯·格里万克(Andreas-Griewank) 引用于: 253出版物(1991年至2023年) 相关软件: ADIFR;锥体;ADIC;Matlab;TAF;FADBAD++… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)
乳胶 软件作者:莱斯利·兰波特 引用于: 236出版物(1988年至2022年) 相关软件: 特克斯;EXPFIT4;枫树;NEW9p;数字;LaTeXML… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)
FGb公司 软件作者:J-C.福盖尔 引用于: 249本出版物(1998年至2023年) 相关软件: 岩浆;单一;枫树;隔离;克罗内克;闪烁… 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)
雪佛兰 软件作者:Geck,Meinolf;希斯,格哈德;吕贝克,弗兰克;Gunter Malle;格茨·普菲弗 引用于: 240本出版物(1994年至2022年) 相关软件: 间隙;岩浆;枫树;SageMath;单一;考克塞特… 主要字段: 组合数学(05-XX);代数几何(14-XX);结合环与代数(16-XX)
梅斯4 软件作者:威廉·麦库恩 引用于: 231出版物(1996-2022) 相关软件: 证明人9;水獭;TPTP;间隙;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)
MPFR公司 软件作者:纪尧姆·汉洛(Guillaume Hanrot)、文森特·列夫雷(Vincent Lefèvre)、帕特里克·佩利西尔(Patrick Pélissier)、菲利普·塞维尼(Philippe Théveny)、保罗·齐默尔曼 引用于: 229出版物(2001-2022) 相关软件: gmp;Mathematica;mctoolbox;SageMath;Matlab;ARPREC… 主要字段: 数论(11-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)
ATLAS集团代表 软件作者:雅培·R、布雷·J、林顿·S、尼克森·S、诺顿·S,帕克·R、苏莱曼·I、特里普·J、沃尔什·P、威尔逊·R。 引用于: 211出版物(1997年至2022年) 相关软件: 间隙;岩浆;CTblLib;GAP字符表库;MeatExe;AtlasRep… 主要字段: 组合数学(05-XX);结合环与代数(16-XX);群论与推广(20-XX)
自动变速器控制模块 软件作者:帕克斯,E.J。;B.R.达菲。 引用于: 208出版物(1996-2022) 相关软件: 伊斯兰教;枫树;RATH(额定功率);PDE专用解决方案;Mathematica;RAEEM… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)
校准仪9 软件作者:威廉·麦库恩 引用于: 205出版物(2006–2022) 相关软件: 梅斯4;水獭;TPTP;E定理证明器;VAMPIRE公司;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)
CSDP公司 软件作者:布莱恩·博彻斯 引用于: 204出版物(1999-2022) 相关软件: 塞杜米;SDPT3;SDPA;SDPLR;YALMIP;SDPLIB… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)
Expokit公司 软件作者:罗杰·西杰。 引用于: 202出版物(1998年至2023年) 相关软件: 菲姆;算法919;MATLAB实验;mftoolbox;Matlab;表达式… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)
阿特拉斯 软件作者:R。克林特·沃利 引用于: 183本出版物(1992年至2022年) 相关软件: LAPACK;BLAS;PHiPAC;FFTW;ScaLAPACK;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)
开普勒98 软件作者:托马斯·黑尔斯(Thomas C.Hales)。;塞缪尔·弗格森。 引用于: 195本出版物(2000年至2022年) 相关软件: Flyspeck;HOL灯;Coq;Isabelle/HOL;伊莎贝尔;HOL… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);凸和离散几何(52-XX)
马克西玛 软件作者:威廉·谢尔特 引用于: 161本出版物(1998年至2022年) 相关软件: Mathematica;SageMath;枫树;R;间隙;GeoGebra… 主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)
AXIOM公司 软件作者:Tim Daly等人。;http://wiki.axiom-developer.org/axiom-website/community.html 引用于: 172本出版物(1992年至2022年) 相关软件: 枫树;Mathematica;减少;伊斯兰教;岩浆;奇异… 主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)
LiE公司 软件作者:A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 引用于: 164本出版物(1993年至2022年) 相关软件: 岩浆;Mathematica;麦考利2号;间隙;枫树;SageMath… 主要字段: 代数几何(14-XX);非结合环与代数(17-XX);群论与推广(20-XX)
SnapPea公司 软件作者:帕特里克·J·卡拉汉。;希尔德布兰德,马丁五世。;周,Jeffrey R。 引用于: 165本出版物(1992年至2022年) 相关软件: 捕捉;SnapPy;里贾纳;岩浆;间隙;结景… 主要字段: 群论与推广(20-XX);复变量函数(30-XX);微分几何(53-XX)
4钛2 软件作者:R Hemmecke、Möppe、P Malkin、M Walter 引用于: 146出版物(2004年至2023年) 相关软件: 麦考利2号;Normaliz;单一;可可;LattE;聚乙烯… 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)
单兵携带防空系统 软件作者:Benno Fuchssteiner;瓦尔德马尔·维温卡;克劳斯·哥特希尔;安德烈亚斯·坎佩尔;奥利弗·克鲁格(Oliver Kluge);卡斯滕·莫里斯;Naundorf,Holger;Oevel,Gudrun;托尔斯滕·舒尔茨 引用于: 129出版物(1991年至2023年) 相关软件: 枫树;Mathematica;MuPAD-组合体;SageMath;Matlab;OEIS… 主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)
凯利 软件作者:约翰·坎农。 引用于: 131出版物(1976年至2020年) 相关软件: 间隙;岩浆;鹦鹉螺;枫树;ATLAS集团代表;CAS… 主要字段: 组合数学(05-XX);数论(11-XX);结合环与代数(16-XX)
LattE公司 软件作者:De Loera,J.A.,Hemmecke,R.,Tauzer,J.,Yoshida,R;科普先生 引用于: 129出版物(2003年至2023年) 相关软件: Normaliz;多品牌;4ti2;枫树;巴维诺克;cdd… 主要字段: 组合数学(05-XX);数论(11-XX);凸和离散几何(52-XX)
Modelica公司 软件作者:耶布拉,L.J。;贝伦格尔,M。;多尔米多,S。;E.扎扎。 引用于: 116出版物(2000-2022) 相关软件: Dymola;Matlab;OpenModelica;Simulink;JModelica;RODAS… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)
LISP公司 软件作者:约翰·麦卡锡 引用于: 111出版物(1960–2020) 相关软件: ACL2;NQTHM;哈斯克尔;毫升;Coq;减少… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
SDPB公司 软件作者:西蒙斯·杜芬,D 引用于: 127本出版物(2015-2022) 相关软件: 朱利·布茨;PyCFT引导;CFTs4D;Mathematica;DLMF;Matplotlib… 主要字段: 非结合环与代数(17-XX);统计学(62-XX);量子理论(81-XX)
SYMMGRP公司 软件作者:威利·赫里曼;B.香槟;P.温特尼茨 引用于: 120出版物(1993年至2022年) 相关软件: 枫树;SYMMGRP.MAX;谎言;diffgrob2;DIMSYM公司;数学… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)
Sage-Combinat公司 软件作者: – 引用于: 112出版物(2010-2023) 相关软件: SageMath;组织环境信息系统;罗宾斯;DLMF;雪维;间隙… 主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);代数几何(14-XX)
罗宾斯 软件作者:多龙·泽尔伯格 引用于: 108出版物(1995年至2022年) 相关软件: SageMath;组织环境信息系统;道格森;兔子;Sage-Combinat;CLD… 主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX)
GL(n)包装 软件作者:凯文·布劳恩 引用于: 106出版物(2006–2022) 相关软件: LMFDB;Mathematica;SageMath;电子数据 主要字段: 数论(11-XX);拓扑群,李群(22-XX);复变量函数(30-XX)
第3264册示例 软件作者:查利·克里斯曼;戴维·艾森巴德(David Eisenbud);乔·哈里斯 引用于: 103出版物(2015-2022) 相关软件: 麦考利2号;github;贝尔蒂尼;SageMath;RealBitangents;舒伯特2… 主要字段: 代数几何(14-XX);动力系统与遍历理论(37-XX);微分几何(53-XX)
宝石 软件作者:亚历克谢·契维亚科夫 引用于: 101出版物(1990-2022) 相关软件: 枫树;裂纹;LIEPDE公司;ConLaw;SYMMGRP;SADE… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);可变形固体力学(74-XX)
西雅娜 软件作者:J。Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。 引用于: 67出版物(2012-2022) 相关软件: TensorFlow;PyTorch;亚当;蟒蛇;凯拉斯;科学… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
葡萄 软件作者:伦纳德·H·索彻 引用于: 96出版物(1993年至2022年) 相关软件: 间隙;鹦鹉螺;设计;岩浆;踪迹;SageMath… 主要字段: 组合数学(05-XX);群论与推广(20-XX);几何(51-XX)
结地图集 软件作者:巴纳坦,德罗;斯科特·莫里森 引用于: 97出版物(2005-2022) 相关软件: 节点信息;Khoho;结景;结理论;qZeil;GitHub… 主要字段: 组合数学(05-XX);群论与推广(20-XX);流形和细胞复合体(57-XX)
fastDNAml(快速DNAml) 软件作者:Olsen,G.J.、Matsuda,H.、Hagstrom,R.、Overbeek,R;费尔森施泰因 引用于: 87出版物(1987–2022) 相关软件: PHYLIP;贝叶斯先生;Seq-Gen;野兽;RAxML;生物技术研究所… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)
卡达布拉 软件作者:卡斯珀·皮特斯;利奥·布雷文 引用于: 91出版物(2007-2022) 相关软件: xPerm;Mathematica;x法案;因瓦;数学张量;xTensor… 主要字段: 偏微分方程(35-XX);微分几何(53-XX);计算机科学(68-XX)
复数 软件作者:列万多夫斯基,维克多;Hans Schönemann;Motsak、Olexander;格特·马丁·格雷尔 引用于: 89出版物(2003年至2023年) 相关软件: 单一;麦考利2号;矿石模块;菅直人;homalg;枫树… 主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)
克利福德 软件作者:拉斐尔·阿布拉莫维奇(Rafal Ablamowicz);贝特弗里德·福泽 引用于: 85出版物(1996-2022) 相关软件: 枫树;比盖布拉;CLICAL公司;盖根;CLUCalc;Gaalop… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);复变量函数(30-XX)
古巴 软件作者:T·哈恩。 引用于: 80本出版物(2005-2023) 相关软件: 嘉年华;12月第二节;维加斯;Mathematica;LiteRed;火灾… 主要字段: 统计学(62-XX);数值分析(65-XX);量子理论(81-XX)
艾伯特 软件作者:施密特,A。;西伯特,K.G。 引用于: 83出版物(1997年至2023年) 相关软件: 阿尔伯塔;FreeFem++;Netgen;PETSc;三角形;TetGen… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)
坦索拉布 软件作者:L。Sorber、M.Van Barel、L.De Lathauwer 引用于: 83出版物(2013-2022) 相关软件: 张量工具箱;Matlab;TT工具箱;兰德国家实验室;复杂优化工具箱;算法862… 主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)
x行动 软件作者:何塞·马丁·加西亚 引用于: 78出版物(2008–2023) 相关软件: xPerm;xTras;Mathematica;xPert;x张量;因瓦… 主要字段: 微分几何(53-XX);粒子和系统力学(70-XX);量子理论(81-XX)
谎言 软件作者:A.K.海德。 引用于: 82出版物(1993年至2022年) 相关软件: DIMSYM公司;SYMMGRP;减少;SYM;Mathematica;SYMMGRP.MAX… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);整体分析,歧管分析(58-XX)
SCCP公司 软件作者:鲁、南;黄正海 引用于: 79出版物(2006–2021) 相关软件: SDPT3;塞杜米;LBFGS-B;优化软件基准;利瓦尔;张量工具箱… 主要字段: 非结合环与代数(17-XX);实函数(26-XX);变分法与最优控制;优化(49-XX)
DIMSYM公司 软件作者:詹姆斯·谢林;杰夫·普林斯;迈克尔·杰里 引用于: 74出版物(1993年至2021年) 相关软件: 谎言;减少;SYMMGRP;SPDE;裂纹;LIEPDE… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)
模糊逻辑工具箱 软件作者:网织物;北卡罗来纳州格利。;Jang,J.S。 引用于: 60本出版物(1998年至2022年) 相关软件: Matlab;ANFIS;Simulink;神经网络工具箱;优化工具箱;小波工具箱… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
精益 软件作者:微软;莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩(Floris van Doorn);雅各布·冯·劳默 引用于: 71出版物(2015-2022) 相关软件: Coq;Isabelle/HOL;阿格达;HOL灯;米扎尔;PVS… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);范畴理论;同调代数(18-XX)
SYMMGRP.MAX公司 软件作者:香槟,B。;Hereman,W。;温特尼茨,P。 引用于: 72出版物(1991年至2019年) 相关软件: SYMMGRP;diffgrob2;谎言;枫树;SPDE;裂纹… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)
SYM公司 软件作者:美国。迪马斯;D.祖贝利斯 引用于: 69出版物(2008–2022) 相关软件: 谎言;Mathematica;SYMMGRP;减少;宝石;SYMMGRP.MAX… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)
TOPCOM公司 软件作者:Jörg Rambau 引用于: 68出版物(2000-2022) 相关软件: 多品牌;PALP;格凡;SageMath;麦考利2号;cdd… 主要字段: 交换代数(13-XX);代数几何(14-XX);凸和离散几何(52-XX)
Hypexp公司 软件作者:T。D.Huber,Maìtre 引用于: 65出版物(2006年至2022年) 相关软件: X夏季;HPL;嵌套金额;表格;12月第二节;数学… 主要字段: 代数几何(14-XX);特殊功能(33-XX);近似值和展开值(41-XX)
COCO公司 软件作者:Harry Dankowicz;弗兰克·席尔德 引用于: 64出版物(2012-2022) 相关软件: 自动;MATCONT;AUTO-07P;HomCont;TC-HAT;Matlab… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)
打火石 软件作者:威廉·哈特。 引用于: 56出版物(2009-2022) 相关软件: 岩浆;SageMath;NTL;gmp;PARI/GP;奇异… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)
LieART公司 软件作者:罗伯特·费格(Robert Feger)、托马斯·凯普哈特(Thomas W.Kephart) 引用于: 58出版物(2012-2023) 相关软件: Mathematica;苏西诺;LiE;仿射;间隙;阿丁克拉斯… 主要字段: 代数几何(14-XX);非结合环与代数(17-XX);量子理论(81-XX)
根 软件作者:勒内·布伦;天线制造商 引用于: 31出版物(2001-2022) 相关软件: PYTHIA8;GEANT4;蟒蛇;德尔菲斯;根;HepMC… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)
开放式课件 软件作者:麻省理工学院 引用于: 54出版物(2006年至2022年) 相关软件: MATLAB实验;MPAS海洋;Matlab;POP;Pyglrm;低等级模型… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)
xTras(xTras) 软件作者:茶树坚果 引用于: 55本出版物(2014-2022) 相关软件: xPert;x法案;因瓦;xPerm;x张量;xPand… 主要字段: 偏微分方程(35-XX);微分几何(53-XX);粒子和系统力学(70-XX)
差速器2 软件作者:曼斯菲尔德,E.L。 引用于: 54出版物(1994年至2022年) 相关软件: SYMMGRP;SYMMGRP.MAX;枫树;裂纹;LIEPDE公司;谎言… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)
NCAlgebra大学 软件作者:JW Helton、R Miller、M Stankus 引用于: 54出版物(1994-2021) 相关软件: 塞杜米;NCSO大便;Mathematica;YALMIP;GloptiPoly;稀疏POP… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX);算子理论(47-XX)
CTbl库 软件作者:托马斯·布鲁尔 引用于: 53本出版物(2006年至2022年) 相关软件: GAP字符表库;间隙;ATLAS集团代表;岩浆;AtlasRep;肉类… 主要字段: 组合数学(05-XX);结合环与代数(16-XX);非结合环与代数(17-XX)