枫树 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)…
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)
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)