×

找到286个软件包(结果1-100)

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)