×

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

枫树

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

Ipopt公司

930份文件引用(2005–2024)
软件作者: 安德烈亚斯·瓦希特(Andreas Waechter)、卡尔·莱尔德(Carl Laird)
相关软件: AMPL;SNOPT;CPLEX…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

PARI/GP基因

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

IMSL数字库

579份文件引用(1976–2023)
软件作者: Visual Numerics公司。
相关软件: Mathematica;SAS;ABAQUS…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…

切布冯

519份文件引用(2004–2024)
软件作者: Chebfun团队;A Driscoll,N.Hale,L.N.Trefethen
相关软件: Matlab;DLMF;Chebfun2…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…

引导库

518份文件引用(1997–2024)
软件作者: 安吉洛·坎蒂;Davison,A.C.Au;D.V.欣克利。
相关软件: 引导;R;ismev…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

运营质量

499份文件引用(2004–2024)
软件作者: 沃尔特·高茨基
相关软件: Matlab;DLMF;正交多项式…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);近似和展开(41-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)…

LMFDB公司

259篇文献引用(2014–2024)
软件作者: http://www.lmfdb.org/确认
相关软件: 岩浆;SageMath;GitHub…
主要字段: 数论(11-XX);代数几何(14-XX);特殊功能(33-XX)…

几何画板

67篇文献引用(1997–2023)
软件作者: 2009年KCP技术。
相关软件: 灰姑娘;GeoGebra;Cabri-geometry…
主要字段: 总体主题;藏品(00-XX);几何(51-XX);数值分析(65-XX)…

科学实验室

173篇文献引用(1999–2023)
软件作者: Scilab企业;里卡多·法布里
相关软件: Matlab;倍频程;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

中国电子05

124篇文献引用(2007–2023)
软件作者: Suganthan,P.N.、Hansen,N.、Liang,J.J.、Deb,K.、Chen,Y.、Auger,A.、Tiwari,S。
相关软件: 玉;ABC;CMA-ES…
主要字段: 偏微分方程(35-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)…

Matrix市场

174篇文献引用(1999–2024)
软件作者: Boisvert R.、Pozo R.、Remington K.、Barrett R.和Dongarra J
相关软件: 稀疏矩阵;Matlab;Harwell-Being稀疏矩阵集合…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

单兵携带防空系统

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

LISP公司

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

gnuplot卫星

59篇文献引用(1995–2024)
软件作者: 威廉姆斯,T。;凯利,C。
相关软件: LAPACK;朱莉娅;Matplotlib…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

安全保障局

72份文件引用(2018–2024)
软件作者: S.米尔贾利利、A.H.甘多米、S.Z.米尔贾里利、S.萨雷米、H.法利斯、S.M.米尔加利利
相关软件: GWO;WOA;GSA…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

得到

51篇文献引用(1991–2023)
软件作者: 伯恩哈德·库兹勒;沃尔,伯恩哈德;弗兰茨·温克勒
相关软件: Mathematica;枫树;马西玛…
主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

伊莎贝尔/采埃孚

70篇文献引用(1993–2023)
软件作者: 劳伦斯·保尔森
相关软件: 伊莎贝尔;Coq;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…

自动分类

36篇文献引用(1992–2021)
软件作者: 约翰·斯图兹;彼得·齐斯曼
相关软件: UCI-ml;C4.5;clusfind…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

CHomP公司

59篇文献引用(2006–2023)
软件作者: http://chomp.rutgers.edu/People.html
相关软件: 间隙;RedHom;大写…
主要字段: 动力系统与遍历理论(37-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…

IMPS公司

52篇文献引用(1990–2021)
软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔
相关软件: 伊莎贝尔;Nuprl;Coq…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…

advanpix公司

51篇文献引用(2013–2023)
软件作者: advanpix.com公司
相关软件: Matlab;mctoolbox;gmp…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);统计学(62-XX)…

RealPaver公司

51篇文献引用(2003–2017)
软件作者: 劳伦特·格兰维尔(Laurent Granvilliers)
相关软件: 数字;进入PT_90;监狱…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

ACRITH-XSC公司

48篇文献引用(1985–2019)
软件作者: 沃尔夫冈·沃尔特。
相关软件: C-XSC;C-XSC 2.0;PASCAL-XSC…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

Optim公司

30篇文献引用(2019–2023)
软件作者: P.K.Mogensen;A.N.瑞斯
相关软件: 朱莉娅;CG_DESCENT;微分方程.jl…
主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…

轨道

44篇文献引用(2008–2023)
软件作者: Wild S、Regis R、鞋匠C
相关软件: EGO;DFO;MLMSRBF…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

赤道

44篇文献引用(2008–2023)
软件作者: 基思·奥尔德姆;Myland,Jan;杰罗姆·斯潘尼尔
相关软件: DLMF;布伦特;同伦连续…
主要字段: 数论(11-XX);特殊功能(33-XX);概率论与随机过程(60-XX)…

Wolfram功能站点

42篇文献引用(2007–2023)
软件作者: Wolfram研究公司。
相关软件: DLMF;Mathematica;仲裁…
主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…

C-CoRN公司

41篇文献引用(2004–2023)
软件作者: 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡
相关软件: Coq;米扎尔;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);数值分析(65-XX)…

阿菲

24篇文献引用(2004–2021)
软件作者: 拉斐尔·艾里扎里;Laurent Gautier,Leslie Cope;本·博尔斯塔德
相关软件: 生物导体;R;gcrma…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

GEX公司

34份文件引用(1996–2023)
软件作者: Gao,X.-S.等。
相关软件: GeoGebra;日本国债交易所;GCLC…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);数值分析(65-XX)…

iSNO-PseAAC公司

40篇文献引用(2013–2021)
软件作者: Xu,Y。;丁,J。;Wu,L.-Y。;周,K.-C。
相关软件: iRSpot-PseDNC;iRSpot-TNCPseAAC;财产…
主要字段: 组合数学(05-XX);测量和集成(28-XX);统计学(62-XX)…

符号数学工具箱

在35份文件中引用(2003–2022)
软件作者: 迈斯沃克
相关软件: Matlab;Mathematica;Simulink…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

iLoc-Hum公司

36篇文献引用(2012–2019)
软件作者: 周,K.-C。;吴振中。;X.肖。
相关软件: iLoc-Euk;iLoc-Virus病毒;iRSpot-PseDNC…
主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);计算机科学(68-XX)…

CVXR公司

27篇文献引用(2019–2023)
软件作者: 傅安琪(Anqi Fu)、巴拉苏布拉曼尼亚人(Balasubramanian Narasimhan)、斯蒂芬·博伊德(Stephen Boyd)
相关软件: CVX;CVXPY;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

iRNA-PseColl基因

31份文件引用(2017–2019)
软件作者: 冯·P。;丁·H。;Yang,H。;陈,W。
相关软件: iRSpot-EL;2L-piRNA;pLoc-mEuk…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

球形包装

27篇文献引用(1998–2023)
软件作者: 约翰·亚当斯(John C.Adams)、保罗·斯瓦茨特劳伯(Paul N.Swarztrauber)
相关软件: 冠军;SHTOOLS工具;Chebfun…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);数值分析(65-XX)…

28篇文献引用(2005–2022)
软件作者: Kim万豪酒店;尼赫科特,尼古拉斯;雷扎·拉斐;Peter J.Stuckey。;玛丽亚·加西亚·德拉·班达;马克·华莱士
相关软件: 本质;微量锌;Gecode…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

阿尔多

26篇文献引用(1997–2014)
软件作者: aldor.org;曼纽尔·布朗斯坦
相关软件: AXIOM;枫树;SageMath…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);范畴理论;同调代数(18-XX)…

2L-piRNA

25篇文献引用(2017–2019)
软件作者: 刘,B。;杨,F。;周,K.-C。
相关软件: iRNA心理健康;iRSpot-EL;pLoc-mEuk…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

复合式MuPAD

24篇文献引用(2004–2019)
软件作者: 弗朗索瓦·德斯库恩斯
相关软件: MuPAD;组织环境信息系统;SageMath…
主要字段: 组合数学(05-XX);结合环与代数(16-XX);非结合环与代数(17-XX)…

咖啡

20篇文献引用(2016年至2021年)
软件作者: Fabio Luporini、Ana Lucia Varbanescu、Florian Rathgeber、Gheorghe-Teodor Bercea、J.Ramanujam、David A.Ham、Paul H.J.Kelly
相关软件: Firedrake;PETSc;TSFC…
主要字段: 偏微分方程(35-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…

科奎利科

22篇文献引用(2015–2024)
软件作者: 西尔维·博尔多;凯瑟琳·勒雷(Catherine Lelay);纪尧姆·梅尔金德
相关软件: Coq;Isabelle/HOL;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);常微分方程(34-XX)…

iDNA6mA-PseKNC公司

21篇文献引用(2018–2019)
软件作者: 冯·P。;Yang,H。;丁·H。;Lin,H。;Chen,W。;周,K.-C。
相关软件: iRNA心理健康;iPromoter-2L;iRSpot-EL…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

所有类型

18篇文献引用(1999–2017)
软件作者: 弗里茨·施瓦兹
相关软件: 减少;枫树;奇异…
主要字段: 场论与多项式(12-XX);结合环与代数(16-XX);常微分方程(34-XX)…

MMH(毫米)

20篇文献引用(1997–2022)
软件作者: Shai Halevi;雨果·克劳茨克
相关软件: Poly1305-AES;粮食;McOE…
主要字段: 数论(11-XX);场论与多项式(12-XX);计算机科学(68-XX)…

打开XM

19份文件引用(2001–2022)
软件作者: Masahide Maekawa;马赛尤基·诺罗;高山、Nobuki;田村、靖国;Katsuyoshi Ohara
相关软件: Risa/Asir;麦考利2号;奇异…
主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)…

阿里阿德涅

17篇文献引用(2008–2023)
软件作者: 卢卡·本维努蒂;大卫·布雷索林;Pieter Collins;阿尔贝托法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅
相关软件: 高科技;SpaceEx;PHAVer…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

数学光学接口.jl

15篇文献引用(2021–2024)
软件作者: Benoit Legat、Oscar Dowson、Joaquim Dias Garcia、Miles Lubin
相关软件: JuMP;朱莉娅;古罗比…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

ADiGator公司

16篇文献引用(2013–2022)
软件作者: Matthew J.Weinstein;阿尼尔·拉奥
相关软件: Matlab;Ipopt;ADOL-C…
主要字段: 动力系统与遍历理论(37-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

塞菲斯

16篇文献引用(1989–2019)
软件作者: S.L.莫舍
相关软件: DLMF;Mathematica;Matlab…
主要字段: 实函数(26-XX);特殊功能(33-XX);近似和展开(41-XX)…

地理统计局

14篇文献引用(2019–2023)
软件作者: Nina Miolane、Johan Mathe、Claire Donnat、Mikael Jorda、Xavier Pennec
相关软件: 皮曼诺普;github;TensorFlow…
主要字段: 微分几何(53-XX);全局分析,流形分析(58-XX);统计学(62-XX)…

iHyd-PseAAC公司

16篇文献引用(2015–2019)
软件作者: Xu,Y。;文,X。;邵晓杰。;邓,N.-Y。;周,K.-C。
相关软件: i甲基PseAAC;iRSpot-PseDNC;iNitro-Tyr…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

iPPBS选择

16篇文献引用(2016年至2019年)
软件作者: 贾,J。;刘,Z。;Xiao,X。;刘,B。;周,K.-C。
相关软件: pSuc-Lys;iPro54-PseKNC;Pse-in-One…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

里杰姆

15篇文献引用(1994–2021)
软件作者: R.葡萄牙
相关软件: ATENSOR公司;数学张量;x张量…
主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…

BliStrTune

14篇文献引用(2017–2023)
软件作者: Josef Urban的Jan Jakubuv
相关软件: E定理证明;VAMPIRE公司;BliStr…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

蚱蜢

14篇文献引用(2015–2023)
软件作者: R.Piskac、T.Wies和D.Zufferey
相关软件: 达菲;VeriFast;毒蛇…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

动画

引用于8份文件(2014年-2023年)
软件作者: 余丽嘉;朱伟成;谢一辉
相关软件: R;knitr;推特…
主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…

BoogiePL公司

11份文件引用(2005–2020)
软件作者: DeLine,R.,Leino,K.R.M。
相关软件: z3;规范#;布吉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

卢比/夸脱

11份文件引用(2006–2022)
软件作者: Karl W Broman、Hao Wu、Gary Churchill、aunak Sen
相关软件: R;图表;PLINK…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

伽利略

10篇文献引用(2000–2017)
软件作者: Joanne Bechta Dugan、Kevin J.Sullivan、David Coppit
相关软件: NuSMV;DFTCalc;DIFtree…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

GBO公司

13份文件引用(2020年至2024年)
软件作者: Ahmadianfar,伊曼;博佐尔格·哈达德(Bozorg-Haddad),奥米德(Omid);朱雪峰
相关软件: GWO;GSA;SSA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

算法786

12份文件引用(1998–2017)
软件作者: 大卫·M·史密斯。
相关软件: MPFR;算法693;gmp…
主要字段: 特殊功能(33-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

线性时频分析工具箱

12份文件引用(2011–2020)
软件作者: Söndergaard,Peter L。;布鲁诺托雷萨尼;彼得·巴拉兹
相关软件: 长期固定资产税;Matlab;取消锁定BoX…
主要字段: 欧氏空间(42-XX)的调和分析;算子理论(47-XX);数值分析(65-XX)…

马洪群岛统计

12份文件引用(2011–2020)
软件作者: 坎菲尔德,E.罗德尼;斯万特·简森;多龙·泽尔伯格
相关软件: 查找统计信息;SageMath;F12345…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…

M探针

12份文件引用(2001–2021)
软件作者: John W.钦奈克。
相关软件: CVX;DrAmpl;游戏…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

NSWC公司

10篇文献引用(1990–2012)
软件作者: 莫里斯,A.H。;海军水面战中心
相关软件: 算法577;Mathematica;DLMF…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);近似和展开(41-XX)…

驾驶员侧车门开关(DDS)

9份文件引用(2021–2023)
软件作者: 莱文特·图内尔·梅迪·卡里米
相关软件: 阿方索;ECOS;SCS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX);凸和离散几何(52-XX)…

数学生活

10篇文献引用(1997–2004)
软件作者: 格德·鲍曼
相关软件: Mathematica;SYMMGRP;谎言…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…

乌拉

10篇文献引用(2003–2022)
软件作者: T.乌拉
相关软件: Mathematica;倍频程;MPFR…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

PSPC链路

10篇文献引用(1997–2017)
软件作者: 阿尔贝托·阿巴德;费利克斯·桑胡安
相关软件: PSPC;Mathematica;ATESAT…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

斯托奇Py

9份文件引用(2017–2022)
软件作者: Maarleveld,T.R。;奥利维尔,B.G。;F.J.布鲁格曼。
相关软件: BioNetGen;工具箱2;COPASI…
主要字段: 常微分方程(34-XX);近似和展开(41-XX);概率论与随机过程(60-XX)…

《证券及期货条例》

引用于8份文件(2010–2022)
软件作者: 安德烈亚斯·克劳斯
相关软件: github;Matlab;SSD…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

环境管理计划

引用于8份文件(1988年至1998年)
软件作者: 克劳斯·希特科夫斯基
相关软件: SLP-IOR;GAMS;ELL…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

芬切尔

引用于8份文件(2006–2019)
软件作者: Bauschke,Heinz H。;诉马丁·莫伦柴尔德
相关软件: 赶快走开;na13;na24…
主要字段: 实函数(26-XX);算子理论(47-XX);数值分析(65-XX)…

FORTRAN-XSC公司

引用于8份文件(1993–2000)
软件作者: 沃尔特,W.V。
相关软件: PASCAL-XSC;C-XSC;ACRITH-XSC…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

Mgfun公司

引用于8份文件(1998年至2018年)
软件作者: Frédéric Chyzak奶酪
相关软件: 麦考利2号;单一;枫树…
主要字段: 组合数学(05-XX);交换代数(13-XX);结合环与代数(16-XX)…

米什

7份文件引用(2022–2023)
软件作者: 迪甘塔·米斯拉
相关软件: 亚当;hp虚拟专用网络;GELU…
主要字段: 实函数(26-XX);功能分析(46-XX);数值分析(65-XX)…

MUSCOP公司

引用于8份文件(2001–2023)
软件作者: 安德烈亚斯·波茨赫卡
相关软件: 纽顿图书馆;ADOL-C;区块SQP…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);整体分析,流形分析(58-XX)…

RcppGSL公司

引用于2份文件(2013–2018)
软件作者: 罗曼·弗朗索瓦;德克·埃德布特尔
相关软件: R;卢比;RcppArmadillo…
主要字段: 统计学(62-XX);计算机科学(68-XX)

CFSF公司

7份文件引用(2005–2017)
软件作者: Franky Backeljauw;安妮·库伊特
相关软件: DLMF;枫树;算法524…
主要字段: 数论(11-XX);特殊功能(33-XX);序列,级数,可加性(40-XX)…

数据链路2

7份文件引用(2021–2023)
软件作者: Fischer,M.、Balunovic,M.,Drachsler-Cohen,D.、Gehr,T.、Zhang,C.、Vechev,M.T。
相关软件: DeepProbLog;MNIST;亚当…
主要字段: 计算机科学(68-XX)

3d打印数学

6篇文献引用(2016年至2021年)
软件作者: 亨利·塞格曼
相关软件: JavaView;GeoGebra公司
主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);测量和集成(28-XX)…

NetNUMPAC公司

7份文件引用(2005–2015)
软件作者: 川崎石山
相关软件: 猿;R;fastDNAml(快速DNAml)
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

Tikz设备

6篇文献引用(2013–2023)
软件作者: 查理·夏普斯汀;Cameron Bracken;基里尔·米勒;谢一辉
相关软件: R;ggplot2;Rgraphviz…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

DDMF公司

6篇文献引用(2010–2020)
软件作者: 亚历山大·本诺特;Chyzak,Frédéric;亚历克西斯·达拉斯;斯特凡·格霍尔德(Stefan Gerhold);马克·梅扎罗巴;布鲁诺·萨维
相关软件: DLMF;DEtools;MultiZeilberger…
主要字段: 历史与传记(01-XX);交换代数(13-XX);特殊功能(33-XX)…

铁素体.jl

6篇文献引用(2022–2023)
软件作者: 卡尔森,K。;埃克莱,F。
相关软件: 朱莉娅;Tensors.jl;Gmsh…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

加利纳

6篇文献引用(1994–2018)
软件作者: 杰拉德·休特
相关软件: Coq;甲基丙烯酸甲酯;模板Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

HoTTSQL

6篇文献引用(2018–2022)
软件作者: 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋
相关软件: Coq;克莱斯利;序列…
主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)

四元数

5份文件引用(2005–2019)
软件作者: M.I.法尔考;F.米兰达
相关软件: Mathematica;mctoolbox软件
主要字段: 组合数学(05-XX);数论(11-XX);场论与多项式(12-XX)…

适合房间

引用于2份文件(2017–2022)
软件作者: 大卫·柯克比(David Kirkby),沃特·沃克尔(Wouter Verkerke)
相关软件: 蟒蛇;根;信号更正…
主要字段: 概率论与随机过程(60-XX);量子理论(81-XX);天文学和天体物理学(85-XX)

Stan数学

5份文件引用(2018–2020)
软件作者: Bob Carpenter、Matthew D.Hoffman、Marcus Brubaker、Daniel Lee、Peter Li、Michael Betancourt
相关软件: 斯坦;锥体;ADOL-C…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

VMEXT公司

6篇文献引用(2017–2022)
软件作者: 莫里茨·舒博茨(Moritz Schubotz);诺曼·穆什克;托马斯·赫普(Thomas Hepp);霍华德·S·科尔。;吉普,贝拉
相关软件: DLMF;CiteFlag公司;LaTeXML…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)

Yifei2020维度

6篇文献引用(2021–2023)
软件作者: 李一飞;约翰·斯顿(Stuart T.Johnston)。;巴斯卡尔·布恩兹利(Pascal R.Buenzli)。;彼得·范海斯特(Peter van Heijster);马修·辛普森。
相关软件: NeuralPDE.jl;微分方程.jl;github
主要字段: 偏微分方程(35-XX);差分方程和函数方程(39-XX);生物学和其他自然科学(92-XX)

Z2萨尔

5份文件引用(2008–2012)
软件作者: J Derrick,S North,A J H Simons公司
相关软件: 自旋蛋白;Z;Z/EVES…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

CRlibm公司

5份文件引用(2011–2022)
软件作者: 佛罗伦特·德迪内钦(Florent de Dinechin);克里斯托夫·劳特;等。
相关软件: Coq;羊毛;dReal…
主要字段: 数值分析(65-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

筛选结果依据…

全部的 前5名

相关软件