枫树 5368份文件引用(1983–2024) 软件作者: 滑铁卢枫树公司。 相关软件: Mathematica;Matlab;岩浆… 主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)…
岩浆 4007文件引用(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公司 3806文件引用(2000–2024) 软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。 相关软件: Mathematica;Matlab;OEIS… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
科学Py 引用于822份文件(2005–2024) 软件作者: Jones,E.、Oliphant,T.、Peterson,P.等人。 相关软件: 蟒蛇;数字Py;Matplotlib… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
稀疏矩阵 引用于840份文件(1997–2024) 软件作者: 蒂莫西·戴维斯(Timothy A Davis);胡一凡 相关软件: mctoolbox;LAPACK;Matlab… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
伊斯兰教 718份文件引用(1971–2023) 软件作者: 符号学 相关软件: 枫树;Mathematica;减少… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
GeoGebra公司 203篇文献引用(2007–2024) 软件作者: – 相关软件: 几何画板;灰姑娘;GEX… 主要字段: 总体主题;藏品(00-XX);交换代数(13-XX);几何(51-XX)…
几何画板 引用于67份文件(1997–2023) 软件作者: 2009年KCP技术。 相关软件: 灰姑娘;GeoGebra;Cabri-geometry… 主要字段: 总体主题;藏品(00-XX);几何(51-XX);数值分析(65-XX)…
SymPy公司 188篇文献引用(2010–2024) 软件作者: SymPy开发团队;乔伊纳,大卫;乔尔蒂克,Ondřej;亚伦·梅勒;布莱恩·格兰杰(Brian E.Granger)。 相关软件: 蟒蛇;数字Py;SciPy… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
伊萨尔 156篇文献引用(2000–2024) 软件作者: 马卡里乌斯·温泽尔 相关软件: 伊莎贝尔;Isabelle/HOL;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
得到 51篇文献引用(1991–2023) 软件作者: 伯恩哈德·库兹勒;沃尔,伯恩哈德;弗兰茨·温克勒 相关软件: Mathematica;枫树;马西玛… 主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
工具箱LS 59篇文献引用(2005–2023) 软件作者: 员米切尔 相关软件: 顶部.m;椭圆工具箱;ROC-HJ… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
IMPS公司 52篇文献引用(1990–2021) 软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔 相关软件: 伊莎贝尔;Nuprl;Coq… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
dcc公司 46篇文献引用(2012–2023) 软件作者: 乌韦·诺曼 相关软件: ADOL-C;锥体;旋转… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
斯特林格瓦卡 44篇文献引用(2008–2023) 软件作者: James Gray、Yang Hui He、Anton Ilderton、AndréLukas 相关软件: 单一;麦考利2号;SageMath… 主要字段: 代数几何(14-XX);微分几何(53-XX);计算机科学(68-XX)…
C-CoRN公司 41篇文献引用(2004–2023) 软件作者: 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡 相关软件: Coq;米扎尔;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);数值分析(65-XX)…
兰德NLA 35篇文献引用(2017–2024) 软件作者: 德里尼亚斯,P。;马奥尼,M.W。 相关软件: 张量工具箱;rsvd;ARPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
巨浪 在30份文件中引用(1999–2023) 软件作者: 雅克·弗洛门特;莱昂内尔·莫伊桑;珍妮·米歇尔·莫雷尔 相关软件: BSDS;SIFT;ImageNet… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
HOLyHammer公司 31份文件引用(2014–2022) 软件作者: 塞萨里·卡利西克;约瑟夫·乌尔班 相关软件: HOL灯;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)
捕捉 在30份文件中引用(1999–2019) 软件作者: 奥利弗·古德曼 相关软件: SnapPea;SnapPy;岩浆… 主要字段: \(K\)理论(19-XX);群论与推广(20-XX);微分几何(53-XX)…
探戈 25篇文献引用(2008–2023) 软件作者: 伯金,E.G。;J.M.马丁内斯。 相关软件: 阿尔及利亚;Ipopt;兰斯洛… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
切尼-金凯 23篇文献引用(1985–2012) 软件作者: 沃德·切尼(Ward Cheney);大卫·金凯 相关软件: Matlab;伊斯兰教;数学… 主要字段: 近似和扩展(41-XX);统计学(62-XX);数值分析(65-XX)…
打开Dynamics引擎 17篇文献引用(2005–2023) 软件作者: 罗素·史密斯 相关软件: 子弹;MuJoCo;GAZEBO… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
元数学 24篇文献引用(2003–2023) 软件作者: 诺曼·梅吉尔 相关软件: 米扎尔;Isabelle/HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);代数拓扑(55-XX)…
LPL软件 引用于20份文件(2000–2023) 软件作者: 戴夫·巴克尔-普卢默、乔恩·巴维斯、约翰·埃切曼迪;Albert Liu、Michael Murray、Emma Pease 相关软件: EPGY;减少;OTTER… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
比盖布拉 22篇文献引用(1994–2023) 软件作者: 阿布·阿莫维奇,拉法;贝特弗里德·福泽 相关软件: 克利福德;枫树;客户… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环和代数(16-XX)…
叶片 21篇文献引用(2007–2023) 软件作者: 弗朗索瓦·布利埃 相关软件: 枫树;雏菊;Epsilon… 主要字段: 场论与多项式(12-XX);常微分方程(34-XX);计算机科学(68-XX)…
行程 19份文件引用(2002–2022) 软件作者: J.Laskar、M.Gastineau 相关软件: 岩浆;单一;gmp… 主要字段: 场论与多项式(12-XX);偏微分方程(35-XX);数值分析(65-XX)…
JASMIN公司 16篇文献引用(2014–2023) 软件作者: Z.Mo、A.Zhang、X.Cao、Q.Liu、X.Xu、H.An、W.Pei、S.Zhu 相关软件: BoomerAMG;炒作;JAUMIN… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
CLICAL公司 17篇文献引用(1992–2017) 软件作者: Lounesto,P.、Mikkola,R.、Vierros,V.、。 相关软件: 克利福德;枫树;比格布拉… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
深度数学 16篇文献引用(2017–2023) 软件作者: Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban 相关软件: E定理证明器;米扎尔;谜… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);计算机科学(68-XX)
霍姆4PS-3 16篇文献引用(2014–2024) 软件作者: 陈天然;Lee,Tsung-Lin;李天恩 相关软件: PHCpack;贝尔蒂尼;数字代数几何… 主要字段: 交换代数(13-XX);代数几何(14-XX);凸和离散几何(52-XX)…
JAS公司 15篇文献引用(2008–2023) 软件作者: 海因茨·克雷德尔 相关软件: 单一;AXIOM;复数… 主要字段: 数论(11-XX);交换代数(13-XX);结合环和代数(16-XX)…
拉丁语 17篇文献引用(2011–2021) 软件作者: Codescu,Mihai;霍罗扎尔、富利亚;Michael Kohlhase;莫萨科夫斯基(Till Mossakowski);弗洛里安·拉贝 相关软件: MMT;OMDoc;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
QROOT公司 17篇文献引用(1993–2022) 软件作者: M.L.乔杜里 相关软件: MCQueue;QPACK;枫树 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
轨道库 16篇文献引用(2008–2021) 软件作者: 安德烈·普拉泽 相关软件: z3;凯伊迈拉;QEPCAD… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);代数几何(14-XX)…
TeXmacs公司 15篇文献引用(2004–2021) 软件作者: Van Der Hoeven,J。 相关软件: Coq;伊莎贝尔;Isabelle/HOL… 主要字段: 数论(11-XX);场论与多项式(12-XX);特殊功能(33-XX)…
FDLIB公司 14篇文献引用(2001–2019) 软件作者: C.波兹里基迪斯。 相关软件: Matlab公司 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);流体力学(76-XX)…
MATLAB-Python修补代码 13份文件引用(2015年至2024年) 软件作者: 卡罗拉·比比安·施恩利布(Carola-Bibiane Schönlieb);西蒙·帕里索托 相关软件: SIPI图像数据库;PatchMatch;GSLIB… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
SaddleDrop公司 14篇文献引用(2005–2019) 软件作者: Sarah C.科赫。 相关软件: SPOT;国际有色人种协进会;银河… 主要字段: 几个复变量与解析空间(32-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
卡米瓦艾 13份文件引用(2003–2018) 软件作者: 埃克哈德·希策(Eckhard M.S.Hitzer)。 相关软件: CLUCalc;盖根;GABLE… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX);几何(51-XX)…
CTADEL公司 12份文件引用(1998–2020) 软件作者: 范恩格伦,罗伯特·亚历山大 相关软件: Mathematica;手指;SciNapse… 主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);数值分析(65-XX)…
几何图形导师 4份文件引用(1986年至2007年) 软件作者: J.R.安德森、C.F.波义耳、G.约斯特。 相关软件: 门托尼耶;巴赫拉;CHYPRE… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)
重新采样统计信息 9份文件引用(2000–2013) 软件作者: W.Becker、T.H.Wonnacott、C.Lunneborg、P.Westfall和S.Young 相关软件: NetLogo;修补图;MuPAD… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
混合系统实验室 11份文件引用(2021–2024) 软件作者: 里卡多·桑费利斯(Ricardo G.Sanfelice)。 相关软件: github;HyEQ;YALMIP… 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);系统论;控制(93-XX)
Parampool公司 11份文件引用(2016–2023) 软件作者: 汉斯·彼得·朗坦根(Hans Petter Langtangen);盖尔·佩德森。 相关软件: FEniCS;SyFi;PETSc… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
亚当 在10份文件中引用(2011年-2023年) 软件作者: Hinkelmann F、Brandon M、Guang B、McNeill R、Blekherman G、Veliz-Cuba A、Laubenbacher R 相关软件: 麦考利2号;金西姆;BoolNet… 主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX)…
数学方案 9份文件引用(2011–2021) 软件作者: 雅克·卡雷特;Farmer,William M。;罗素·奥康纳 相关软件: Coq;阿格达;HOL灯… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
JCM套件 3份文件引用(2010–2024) 软件作者: JCMwave;S.Burger、L.Zschiedrich、J.Pomplun、F.Schmidt 相关软件: 溪流;数字Py;SciPy… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)…
机构动态仿真模块组 9份文件引用(2005–2023) 软件作者: 格兰·理查德·J。 相关软件: Matlab;Visual Basic;VBA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…
埃利米诺 6篇文献引用(1999–2005) 软件作者: 吴永伟;廖伟东;林,东岱;Wang,Paul S。 相关软件: SACLIB;OMEI;DisCAS… 主要字段: 场论与多项式(12-XX);实函数(26-XX);复变量函数(30-XX)…
Mgfun公司 8份文件引用(1998–2018) 软件作者: Frédéric Chyzak奶酪 相关软件: 麦考利2号;单一;枫树… 主要字段: 组合数学(05-XX);交换代数(13-XX);结合环和代数(16-XX)…
自动变速器2 6篇文献引用(2016–2019) 软件作者: 詹伯华 相关软件: Isabelle/HOL;伊莎贝尔;Mizar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
斯特拉 5份文件引用(1997–2012) 软件作者: 马提亚斯·鲁思;布鲁斯·汉农 相关软件: 文西姆;蟒蛇;PySD… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
亚卡斯 3份文件引用(2002–2023) 软件作者: 阿亚尔·平库斯(Ayal Z.Pinkus)。;谢尔盖·威尼茨基 相关软件: Ryacas;R;SymPy… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
Z2sal公司 5份文件引用(2008–2012) 软件作者: J Derrick,S North,A J H Simons公司 相关软件: 自旋蛋白;Z;Z/EVES… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
Algolib公司 5份文件引用(2004–2022) 软件作者: INRIA的Algo团队 相关软件: 枫树;组织环境信息系统;HOL灯… 主要字段: 阶、格、有序代数结构(06-XX);数论(11-XX);计算机科学(68-XX)
EPGY公司 3份文件引用(2001–2020) 软件作者: 理查德·索默(Richard Sommer);格雷戈里·努科尔斯 相关软件: LPL软件;减少;水獭… 主要字段: 计算机科学(68-XX);数学教育(97-XX)
深入学习(_L) 4份文件引用(2017–2023) 软件作者: 亚历山大·本特坎普 相关软件: Isabelle/HOL;多项式;Groebner_Bases… 主要字段: 交换代数(13-XX);计算机科学(68-XX)
虚拟叶 3份文件引用(2015–2019) 软件作者: Merks,R.、Guravage,M.、Inzé,D.、Beemster,G 相关软件: PhysiCell;CellSys;微血管Chaster… 主要字段: 生物学和其他自然科学(92-XX)
XVA-计划 4份文件引用(2010–2023) 软件作者: 沙林,Subhash C。;Nagarajan,Balaji;廖玲瑞 相关软件: PSPLIB;OR-库 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
协议。净值 3份文件引用(2018–2021) 软件作者: 塞萨尔·苏扎(Cesar Souza);安德鲁·基里洛夫;马科斯·迭戈·卡塔拉诺(Marcos Diego Catalano);等等 相关软件: PRMLT;PyClustering;C4.5… 主要字段: 计算机科学(68-XX);地球物理学(86-XX);运筹学,数学编程(90-XX)
向往 3份文件引用(2019–2023) 软件作者: 普林斯顿大学 相关软件: 奇美拉;crYOLO;FINUFFT… 主要字段: 特殊功能(33-XX);抽象谐波分析(43-XX);光学、电磁理论(78-XX)…
BALSA公司 2份文件引用(1986–2015) 软件作者: 马克·布朗(Marc H.Brown)、罗伯特·塞奇威克(Robert Sedgewick) 相关软件: 宙斯;再次崩溃;PLTMG… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
FriCAS公司 3份文件引用(2015–2019) 软件作者: 瓦尔德克·希比施 相关软件: AXIOM;渐近线;HAP… 主要字段: 场论与多项式(12-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…
IsarMathLib公司 3份文件引用(2017–2021) 软件作者: – 相关软件: Metamath;米扎尔;伊莎贝尔/采埃孚… 主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)
KNOPPIX/数学 3份文件引用(2006–2008) 软件作者: 滨田达吉;KNOPPIX/数学委员会 相关软件: MuPAD;Matlab;NZMATH… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)
球面谐波.jl 2份文件引用(2022) 软件作者: 乔什·米尔索普(Josh Milthorpe),塔维塔姆·林帕努帕布(Taweetham Limpanuparb) 相关软件: 朱莉娅;Mathematica;JRAF… 主要字段: 偏微分方程(35-XX);欧氏空间(42-XX)的调和分析;粒子和系统力学(70-XX)…
DiMP公司 2份文件引用(2020–2021) 软件作者: 巴拉索夫,V.A。;Savenkov,E.B。;切特弗鲁什金,B.N。 相关软件: DiMP-氢;GridSpiderPar;QHD泡沫 主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)
DiMP-液压 2份文件引用(2020–2021) 软件作者: 巴拉索夫,V.A。;Savenkov,E.B。;切特弗鲁什金,B.N。 相关软件: DiMP;GridSpiderPar;QHD泡沫 主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)
DynaMoW公司 2份文件引用(2011) 软件作者: 弗雷德里克·切扎克;亚历克西斯·达拉斯 相关软件: OCaml;Camlp4;组织环境信息系统 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
弗朗西 2份文件引用(2018) 软件作者: 马查多·马丁斯(Manuel Machado Martins);马库斯·普菲弗 相关软件: 有向图;朱庇特;XGAP… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)
几何学 2份文件引用(2010–2016) 软件作者: 拉达科维奇,达沃卡;约旦赫塞格 相关软件: WPF;JavaScript;Cabri… 主要字段: 范畴理论;同调代数(18-XX);几何(51-XX);计算机科学(68-XX)…
HolPy公司 2份文件引用(2021–2024) 软件作者: 徐润清;李黎明;詹伯华 相关软件: mftoolbox;杆;CBench… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
数学画笔 2份文件引用(2006–2018) 软件作者: 拉班,乔治;麦克莱恩,斯科特;马祖,米雷特;伊恩·卢瑟福;戴维·陶斯基 相关软件: Isabelle/HOL;Isabelle/PIDE;Isabelle/j编辑… 主要字段: 计算机科学(68-XX)
数学TOUCH 2份文件引用(2018) 软件作者: Shirai,Shizuka;福井、铁雄;吉多米,肯塔罗;川崎,三井;中原、高弘;中村康树;Kato,Katsuya;田口,Tetsuya 相关软件: 马克西玛;MeLQS;数学… 主要字段: 计算机科学(68-XX);数学教育(97-XX)
MUMIE公司 1份文件引用(2006) 软件作者: Ruedi Seiler、Volker Enss、Tilman Rassy、Rainer Siegmund-Schultze、Marek Grudzinski、Markus Gronau 相关软件: – 主要字段: 总体主题;藏品(00-XX);数学教育(97-XX)
PowerSeries系列 1份文件引用(2016) 软件作者: 阿尔瓦迪,帕里萨;马赫萨·卡泽米;马克·莫雷诺(Marc Moreno Maza) 相关软件: 正则链;Mathematica;SageMath… 主要字段: 交换代数(13-XX);代数几何(14-XX);实函数(26-XX)…
SimplifySum公司 2份文件引用(2014–2015) 软件作者: David H.Bailey。;乔纳森·博文(Jonathan M.Borwein)。;亚历山大·凯泽。 相关软件: DLMF;ARPREC;GitHub… 主要字段: 数论(11-XX);计算机科学(68-XX)
斯马拉 1份文件引用(2012) 软件作者: 保罗·利布雷希特(Paul Libbrecht);桑德拉·雷霍尔茨(Sandra Rebholz);丹尼尔·埃尔丁(Daniel Herding);M“uller,Wolfgang;Tscheulin,Felix 相关软件: SetSails! 主要字段: 数学教育(97-XX)
特殊价值 2份文件引用(2004–2005) 软件作者: 约翰·维夫洛特 相关软件: 国际实验室;全球溶胶;Easyval公司 主要字段: 数学逻辑与基础(03-XX);复变量函数(30-XX);特殊功能(33-XX)…
Tonnetz公司 2份文件引用(2022) 软件作者: Guichaoua,C.、Besada,J.、Bisesi,E.、Andreatta,M。 相关软件: Web_ColoredCubeDance;D3.js;行星-4D 主要字段: 总体主题;集合(00-XX)