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)…
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)…
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)…
复数 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)…
克利福德 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)…