×

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

Matlab公司

13806文件引用(1982年至2025年)
软件作者: MathWorks公司
相关软件: Simulink;LMI工具箱;枫树…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

数学软件

6558篇文献引用(1986–2024)
软件作者: 沃尔夫勒姆研究公司
相关软件: 枫树;Matlab;SageMath…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

枫树

5364份文件引用(1983–2024)
软件作者: 滑铁卢枫树公司。
相关软件: Mathematica;Matlab;岩浆…
主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)…

组织环境信息系统

5313份文件引用(1973–2025)
软件作者: 尼尔·J·A·斯隆。;OEIS基金会。
相关软件: SageMath;Mathematica;间隙…
主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX)…

岩浆

3982份文件引用(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)…

github

3786份文件引用(2010–2024)
软件作者: github
相关软件: R;Matlab;Python…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

DLMF公司

3760份文件中引用(2000–2024)
软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。
相关软件: Mathematica;Matlab;OEIS…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

间隙

3656份文件引用(1990–2024)
软件作者: GAP集团
相关软件: 岩浆;SageMath;ATLAS集团代表…
主要字段: 组合数学(05-XX);代数几何(14-XX);结合环与代数(16-XX)…

蟒蛇

1422年文献引用(1991年至2025年)
软件作者: 吉多·范罗苏姆
相关软件: SciPy;数字Py;Matplotlib…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

SageMath公司

2561份文件引用(2002–2024)
软件作者: 贤明的开发商;威廉·斯坦因;大卫·乔伊纳(David Joyner);David Kohel;约翰·克雷莫纳;伯里钦·埃罗卡尔
相关软件: 岩浆;间隙;OEIS…
主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…

麦考利2

2248份文件引用(1988–2024)
软件作者: 丹尼尔·格雷森(Daniel R.Grayson)。;迈克尔·E·斯蒂尔曼。;戴维·艾森巴德(David Eisenbud);http://www.math.uiuc.edu/Macaulay2/贡献者/
相关软件: 单一;可可;SageMath…
主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…

Coq公司

1964年文献引用(1993–2024)
软件作者: 克利斯朵夫·德林格;Jean-François Dufourd
相关软件: Isabelle/HOL;伊莎贝尔;HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

罗德斯

1887年文献引用(1989–2024)
软件作者: E.Hairer、G.Wanner
相关软件: Matlab;歌曲15;MEBDF…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

单一

1641年文献中引用(1991–2024)
软件作者: Wolfram Decker;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼
相关软件: 麦考利2号;可可;SageMath…
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…

SeDuMi公司

1380年文献引用(1999–2024)
软件作者: 斯图尔姆·J·F
相关软件: YALMIP;SDPT3;GloptiPoly…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

FEniCS公司

引用于1162份文件(2007–2024)
软件作者: 剑桥大学、芝加哥大学、德克萨斯理工大学和KTH皇家理工学院Simula研究实验室
相关软件: SyFi;PETSc;道芬…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

TensorFlow公司

846份文件引用(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)…

PyTorch公司

668份文件引用(2018–2024)
软件作者: A.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
相关软件: 亚当;TensorFlow;Python…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

朱莉娅

651份文件引用(2014–2024)
软件作者: Bezanson J、Karpinski S、Shah VB、Edelman A
相关软件: JuMP;github;微分方程.jl…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

SDPT3系统

767份文件引用(1986–2024)
软件作者: Toh,K.C。;托德,M.J。;TüTüncü,R.H。
相关软件: 塞杜米;YALMIP;CVX…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

数学溢出

759份文件引用(2010–2023)
软件作者: Stack Exchange公司
相关软件: 组织环境信息系统;SageMath;GitHub…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

伊莎贝尔

引用于734份文件(1990–2023)
软件作者: 拉里·保尔森(Larry Paulson)、托比亚斯·尼普科(Tobias Nipkow)、马卡里乌斯·温泽尔(Makarius Wenzel)
相关软件: Isabelle/HOL;HOL;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

减少

738份文件引用(1970–2023)
软件作者: Anthony C.Hearn;格哈德·雷纳(Gerhard Rayna);Rainer Schöpf;托马斯·斯特姆
相关软件: 枫树;Mathematica;马西玛…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

PARI/GP基因

744份文件中引用(1992–2024)
软件作者: 亨利·科恩;卡里姆·贝拉巴斯(Karim Belabas);PARI组
相关软件: 岩浆;SageMath;间隙…
主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…

伊斯兰教

718份文件引用(1971–2023)
软件作者: 符号学
相关软件: 枫树;Mathematica;减少…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

mf工具箱

725份文件引用(2008–2024)
软件作者: N.J.海姆
相关软件: mctoolbox;Matlab;MATLAB扩展…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX)…

可可

680份文件引用(1989–2024)
软件作者: CoCoa-Team;罗比亚诺,洛伦佐
相关软件: 麦考利2号;单一;CoCoALib…
主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…

鹦鹉螺

691份文件引用(1988–2024)
软件作者: 布伦丹·麦凯;阿道夫·皮佩尔诺
相关软件: 踪迹;间隙;OEIS…
主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)…

阿尔戈60

653份文件引用(1959–2023)
软件作者: Naur,P。;巴克斯,J.W。;等。
相关软件: ALGOL 68;欧拉;PL/I…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

SCIP公司

649份文件引用(2005–2024)
软件作者: Tristan Gally、Gerald Gamrath、Patrick Gemander、Ambros Gleixner、Robert Gottwald、Gregor Hendel、Christopher Hojny、Stephen J.Maher、Matthias Miltenberger、Benjamin Müller、Marc Pfetsch、Franziska Schlösser、Felipe Serrano、Stefan Vigerske、Dieter Weninger、Jakob Witzig
相关软件: CPLEX;MIPLIB;古罗比…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

莫塞克

624份文件引用(1999–2024)
软件作者: 莫斯科ApS
相关软件: YALMIP;塞杜米;SDPT3…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…

磁粉探伤

490份文件引用(1990–2024)
软件作者: 杰弗里·A·菲克。;胡安·阿隆索。
相关软件: LAPACK;CUDA;PETSc…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

EISPACK公司

492份文件引用(1974–2023)
软件作者: Brian Smith、James Boyle、Jack Dongarra、Burton Garbow、Y.Ikebe、V.Klema、Cleve Moler
相关软件: LAPACK;LINPACK;BLAS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);变形固体力学(74-XX)…

表格

422篇文献引用(1993–2024)
软件作者: Kuipers,J。;上田,T。;Vermaseren,J.A.M。;J.沃林加。
相关软件: 粉碎机;雷杜泽;Axodraw…
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);量子理论(81-XX)…

GMRF库

408份文件引用(1991–2024)
软件作者: 哈瓦德街;莱昂哈德·赫尔德
相关软件: R;spBayes;贝叶斯DA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

多晶的

394份文件引用(2000–2024)
软件作者: Ewegenij Gawrilow、Michael Joswig和博学的团队
相关软件: 麦考利2号;Gfan;正常(amp;N)…
主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-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)…

gmp公司

299篇文献引用(1995–2024)
软件作者: 格兰伦德
相关软件: MPFR;NTL;PARI/GP…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…

GSL公司

279篇文献引用(2002–2024)
软件作者: 自由软件基金会,M.Galassi,J.Davies,J.Theiler,B.Gough,G.Jungman,P.Alken,M.Booth,F.Rossi
相关软件: R;LAPACK;PETSc…
主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…

贝尔蒂尼

引用于290篇文献(2008–2024)
软件作者: D.Bates、J.Hauenstein、A.Sommese、C.Wampler
相关软件: PHCpack;麦考利2号;HOM4PS…
主要字段: 交换代数(13-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)…

乳胶

251份文件引用(1988–2024)
软件作者: 莱斯利·兰伯特
相关软件: TeX;EXPFIT4;枫树…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

ADOL-C公司

260篇文献引用(1991–2024)
软件作者: 安德烈亚·沃尔特(Andrea Walther)、安德烈亚斯·科瓦兹(Andreas Kowarz)、安德烈亚斯·格里万克(Andreas-Griewank)
相关软件: ADIFOR公司;锥体;ADIC…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

雪佛兰

266份文件引用(1994–2024)
软件作者: Geck,Meinolf;希斯,格哈德;吕贝克,弗兰克;Gunter Malle;格茨·普菲弗
相关软件: 间隙;岩浆;SageMath…
主要字段: 组合数学(05-XX);代数几何(14-XX);结合环与代数(16-XX)…

代码表

263篇文献引用(1998–2022)
软件作者: 马库斯·格拉斯;A.E.Brouwer。
相关软件: 岩浆;间隙;薄荷…
主要字段: 组合数学(05-XX);数论(11-XX);几何(51-XX)…

FGb公司

251份文件引用(1998–2023)
软件作者: J.-C.福盖尔
相关软件: 岩浆;单一;枫树…
主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…

MPFR公司

249篇文献引用(2001–2024)
软件作者: 纪尧姆·汉洛(Guillaume Hanrot)、文森特·列夫雷(Vincent Lefèvre)、帕特里克·佩利西尔(Patrick Pélissier)、菲利普·塞维尼(Philippe Théveny)、保罗·齐默尔曼
相关软件: gmp;Mathematica;mctoolbox…
主要字段: 数论(11-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

梅斯4

246篇文献引用(1995–2023)
软件作者: 威廉·麦库恩
相关软件: 证明人9;水獭;TPTP…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);通用代数系统(08-XX)…

ATLAS集团代表

230份文件引用(1997–2024)
软件作者: Abbott,R.、Bray,J.、Linton,S.、Nickerson,S.、Norton,S.、Parker,R.、Suleiman,I.、Tripp,J.、Walsh,P.、Wilson,R。
相关软件: 间隙;岩浆;CTblLib…
主要字段: 组合数学(05-XX);结合环与代数(16-XX);群论与推广(20-XX)…

开普勒98

226篇文献引用(2000–2024)
软件作者: 托马斯·黑尔斯(Thomas C.Hales)。;塞缪尔·弗格森。
相关软件: Flyspeck;HOL灯;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);凸和离散几何(52-XX)…

校准仪9

223篇文献引用(2006–2024)
软件作者: 威廉·麦库恩
相关软件: 梅斯4;水獭;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);通用代数系统(08-XX)…

自动变速器控制模块

214篇文献引用(1996–2023)
软件作者: 帕克斯,E.J。;B.R.达菲。
相关软件: 伊斯兰教;枫树;RATH…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

CSDP公司

212篇文献引用(1999–2023)
软件作者: 布莱恩·博彻斯
相关软件: 塞杜米;SDPT3;SDPA…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

Expokit公司

209篇文献引用(1998年至2024年)
软件作者: 罗杰·西杰。
相关软件: 算法919;菲姆;MATLAB扩展…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

阿特拉斯

187份文件引用(1992–2023)
软件作者: R.克林特·惠利
相关软件: LAPACK;BLAS;PHiPAC…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

马克西玛

171篇文献引用(1998年至2024年)
软件作者: 威廉·谢尔特
相关软件: Mathematica;SageMath;枫树…
主要字段: 群论与推广(20-XX);数值分析(65-XX);计算机科学(68-XX)…

LiE公司

177份文件引用(1993–2024)
软件作者: A.M.Cohen、B.Lisser、M.A.A.van Leeuwen
相关软件: Mathematica;岩浆;麦考利2…
主要字段: 代数几何(14-XX);非结合环与代数(17-XX);群论与推广(20-XX)…

AXIOM公司

173篇文献引用(1992–2022)
软件作者: Tim Daly等人。;http://wiki.axiom-developer.org/axiom-website/community.html
相关软件: 枫树;Mathematica;减少…
主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…

LiteRed公司

160篇文献引用(2013–2024)
软件作者: R·李
相关软件: 火灾;雷杜泽;消防5…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

SnapPea公司

167篇文献引用(1992–2024)
软件作者: 帕特里克·J·卡拉汉。;希尔德布兰德,马丁五世。;周,Jeffrey R。
相关软件: SnapPy;捕捉;Regina…
主要字段: 群论与推广(20-XX);复变量函数(30-XX);微分几何(53-XX)…

4钛2

154份文件引用(2004–2024)
软件作者: R Hemmecke、Möppe、P Malkin、M Walter
相关软件: 麦考利2号;Normaliz;奇异…
主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…

第3264册示例

158份文件引用(2015–2024)
软件作者: 查利·克里斯曼;戴维·艾森巴德(David Eisenbud);乔·哈里斯
相关软件: 麦考利2号;github;同伦连续…
主要字段: 交换代数(13-XX);代数几何(14-XX);动力系统和遍历理论(37-XX)…

SDPB公司

153篇文献引用(2015–2023)
软件作者: 西蒙斯·杜芬,D
相关软件: 朱利·布茨;PyCFT引导;CFTs4D…
主要字段: 非结合环与代数(17-XX);统计学(62-XX);量子理论(81-XX)…

火灾

145篇文献引用(2008–2023)
软件作者: A.V.斯米尔诺夫。
相关软件: LiteRed;雷杜泽;消防5…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

单兵携带防空系统

129篇文献引用(1991–2023)
软件作者: Benno Fuchssteiner;瓦尔德马尔·维温卡;克劳斯·哥特希尔;安德烈亚斯·坎佩尔;奥利弗·克鲁格(Oliver Kluge);卡斯滕·莫里斯;霍尔格,瑙多夫;Oevel,Gudrun;托尔斯滕·舒尔茨
相关软件: 枫树;Mathematica;MuPAD-组合…
主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)…

类别

141份文件引用(2012–2024)
软件作者: 朱利安·莱斯古格斯
相关软件: 巨蟒山;MontePython 3;CAMB…
主要字段: 偏微分方程(35-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

雷杜泽

136篇文献引用(2010–2024)
软件作者: 安德烈亚斯·冯·曼特乌费尔(Andreas von Manteuffel);塞德里克·斯图德鲁斯
相关软件: 火灾;LiteRed;表格…
主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)…

LattE公司

133篇文献引用(2003–2024)
软件作者: De Loera,J.A.,Hemmecke,R.,Tauzer,J.,Yoshida,R;科佩先生
相关软件: Normaliz;多品牌;4ti2…
主要字段: 组合数学(05-XX);数论(11-XX);凸和离散几何(52-XX)…

Modelica公司

119篇文献引用(2000–2023)
软件作者: 耶布拉,L.J。;贝伦格尔,M。;多米多,S。;E.扎扎。
相关软件: Dymola;OpenModelica;Matlab…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

凯利

131篇文献引用(1976–2020)
软件作者: 约翰·坎农。
相关软件: 间隙;岩浆;nauty…
主要字段: 组合数学(05-XX);数论(11-XX);结合环与代数(16-XX)…

LISP公司

114篇文献引用(1960–2023)
软件作者: 约翰·麦卡锡
相关软件: ACL2;NQTHM;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

x行动

121篇文献引用(2008–2024)
软件作者: 何塞·马丁·加西亚
相关软件: xTras;xPerm;xPert…
主要字段: 微分几何(53-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

SYMMGRP公司

120篇文献引用(1993–2022)
软件作者: 威利·赫里曼;B.香槟;P.温特尼茨
相关软件: 枫树;SYMMGRP公司。最大值;谎言…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

GL(n)包

117篇文献引用(2006–2023)
软件作者: 凯文·布劳恩
相关软件: LMFDB;Mathematica;SageMath…
主要字段: 数论(11-XX);拓扑群,李群(22-XX);几个复变量和分析空间(32-XX)…

Sage-Combinat公司

116篇文献引用(2010–2023)
软件作者:
相关软件: SageMath;组织环境信息系统;雪维…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);代数几何(14-XX)…

SICStus公司

94份文件引用(1992–2024)
软件作者: Mats Carlsson,每米尔德纳
相关软件: SWI-预测;Ciao;XSB…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);统计学(62-XX)…

罗宾斯

112份文件引用(1995–2023)
软件作者: 多龙·泽尔伯格
相关软件: SageMath;组织环境信息系统;道格森…
主要字段: 组合数学(05-XX);数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX)…

西雅娜

75篇文献引用(2012–2023)
软件作者: J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。
相关软件: TensorFlow;亚当;PyTorch…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

卡达布拉

104篇文献引用(2007–2023)
软件作者: 卡斯珀·皮特斯;利奥·布雷文
相关软件: xPerm;Mathematica;xAct…
主要字段: 偏微分方程(35-XX);微分几何(53-XX);粒子和系统力学(70-XX)…

宝石

106篇文献引用(1990–2023)
软件作者: 亚历克谢·契维亚科夫
相关软件: 枫树;裂纹;LIEPDE…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);变形固体力学(74-XX)…

结地图集

104篇文献引用(2005–2023)
软件作者: 巴纳坦,德罗;斯科特·莫里森
相关软件: 节点信息;Khoho;结景…
主要字段: 组合数学(05-XX);群论与推广(20-XX);流形和细胞复合体(57-XX)…

葡萄

100篇文献引用(1993–2023)
软件作者: 伦纳德·H·索彻
相关软件: 间隙;鹦鹉螺;岩浆…
主要字段: 组合数学(05-XX);群论与推广(20-XX);几何(51-XX)…

复数

99篇文献引用(2003–2024)
软件作者: 维克多·列万多夫斯基;Hans Schönemann;Motsak、Olexander;格特·马丁·格雷尔
相关软件: 单一;麦考利2号;OreModules…
主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)…

fastDNAml(快速DNAml)

88篇文献引用(1987年至2022年)
软件作者: Olsen,G.J.、Matsuda,H.、Hagstrom,R.、Overbeek,R;费尔森施泰因
相关软件: PHYLIP;贝叶斯先生;Seq-Gen…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

古巴

84份文件引用(2005–2023)
软件作者: T·哈恩。
相关软件: 嘉年华;12月第二节;火灾…
主要字段: 统计学(62-XX);数值分析(65-XX);量子理论(81-XX)…

克利福德

89份文件引用(1996–2023)
软件作者: 拉斐尔·阿布拉莫维奇(Rafal Ablamowicz);贝特弗里德·福泽
相关软件: 枫树;比盖布拉;客户…
主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);复变量函数(30-XX)…

精益

89份文件引用(2015–2024)
软件作者: 微软;莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩(Floris van Doorn);雅各布·冯·劳默
相关软件: Coq;Isabelle/HOL;Agda…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);范畴理论;同调代数(18-XX)…

SWI-预测

76篇文献引用(2000–2024)
软件作者: Wielemaker,J.、Schrijvers,T.、Triska,M.、Lager,T。
相关软件: SICStus公司;YAP-Prolog;XSB…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

坦索拉布

87份文件引用(2013–2023)
软件作者: L.Sorber、M.Van Barel、L.De Lathauwer
相关软件: 张量工具箱;Matlab;算法862…
主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

艾伯特

85篇文献引用(1997–2023)
软件作者: 施密特,A。;西伯特,K.G。
相关软件: 阿尔伯塔;FreeFem++;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

谎言

82份文件引用(1993–2022)
软件作者: A.K.海德。
相关软件: DIMSYM公司;SYMMGRP;减少…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…

Hypexp公司

78篇文献引用(2006–2023)
软件作者: T.Huber,D.Maêtre
相关软件: HPL;嵌套金额;X夏季…
主要字段: 代数几何(14-XX);特殊功能(33-XX);近似和展开(41-XX)…

SCCP公司

79篇文献引用(2006–2021)
软件作者: 鲁、南;黄正海
相关软件: SDPT3;塞杜米;优化软件基准…
主要字段: 非结合环与代数(17-XX);实函数(26-XX);变异微积分和最优控制;优化(49-XX)…

SYM公司

78篇文献引用(2008–2023)
软件作者: S.Dimas;D.祖贝利斯
相关软件: 谎言;Mathematica;SYMMGRP…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

TOPCOM公司

77份文件引用(2000–2024)
软件作者: Jörg Rambau
相关软件: 多品牌;SageMath;PALP…
主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-XX)…

COCO公司

75篇文献引用(2012–2023)
软件作者: Harry Dankowicz;弗兰克·席尔德
相关软件: 自动;MATCONT;AUTO-07P…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

同伦延续

70篇文献引用(2018–2024)
软件作者: Paul Breiding,Sascha Timme公司
相关软件: 麦考利2号;贝尔蒂尼;PHCpack…
主要字段: 交换代数(13-XX);代数几何(14-XX);统计学(62-XX)…

莎拉

68篇文献引用(2010–2023)
软件作者: 弗洛里安·斯塔布
相关软件: 斯费诺;希格斯信号;数学…
主要字段: 粒子和系统力学(70-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…

DIMSYM公司

75篇文献引用(1993–2023)
软件作者: 詹姆斯·谢林;杰夫·普林斯;迈克尔·杰里
相关软件: 谎言;减少;SYMMGRP…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

打火石

68篇文献引用(2009–2023)
软件作者: 威廉·哈特。
相关软件: SageMath;岩浆;NTL…
主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…

筛选结果依据…

全部的 前5名

相关软件