spBayes公司 461份文件引用(2004–2024) 软件作者: Andrew O.Finley、Sudipto Banerjee、Bradley P.Carlin 相关软件: R;GMRFLib;贝叶斯DA… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
HSL-VF05型 87份文件引用(1999–2023) 软件作者: 尼古拉斯·I.M.古尔德。;露西迪、斯特凡诺;罗马,马西莫;马桶,菲利普·L。 相关软件: GQTPAR;切割机;LSTRS… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
FPC_AS公司 77份文件引用(2010–2023) 软件作者: 温再文、尹沃涛 相关软件: PDCO;SPGL1;TwIST… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
RealPaver公司 51份文件中引用(2003–2017) 软件作者: 劳伦特·格兰维尔(Laurent Granvilliers) 相关软件: 数字;进入PT_90;监狱… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
迷你球 引用于47份文件(2001–2023) 软件作者: 卡斯帕·菲舍尔;伯恩德·加特纳;阿迪蒂亚·古普塔;亚历山大·康斯坦蒂纳基斯·卡米斯 相关软件: SDPT3;塞杜米;CGAL… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
MPFI公司 引用于47份文件(1979–2023) 软件作者: Nathalie Revol;法布里斯·鲁利耶 相关软件: MPFR;C-XSC 2.0;隔离… 主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
NeNMF公司 34份文件引用(2012–2024) 软件作者: N.Guan、D.Tao、Z.Luo、B.Yuan 相关软件: 费雷特;RCV1;AR面… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
反链 34份文件引用(2006–2022) 软件作者: De Wulf M、Doyen L、Henzinger TA、Raskin JF 相关软件: MONA;HIP;旋转… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
LSSPER公司 28篇文献引用(2004–2023) 软件作者: 帕潘,米雷勒;Artigues,基督教;菲利普·米歇隆 相关软件: PSPLIB;分散搜索;进展… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
GKB-FP公司 16篇文献引用(2010–2021) 软件作者: 维洛什·巴赞(Viloche Bazán),费明·S。;莱昂纳多·博尔赫斯。 相关软件: 正规化工具;LSQR;克雷格… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);积分方程(45-XX)…
QPOPT公司 17篇文献引用(1998–2019) 软件作者: P.E.吉尔;W.Murray;M.A.桑德斯 相关软件: qpOASES;QPSchur公司;LOQO… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
独奏重力波 17篇文献引用(2013–2022) 软件作者: 迪迪埃·克莱蒙德;杜蒂克、丹尼斯 相关软件: Matlab;advanpix;SSGW公司 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
ParILUT公司 9份文件引用(2018–2023) 软件作者: Anzt,H.、Ribizel,T.、Flegar,G.、Chow,E.、Dongarra,J。 相关软件: ILUT;PETSc公司;稀疏矩阵… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)
BEDFix公司 9份文件引用(2003–2020) 软件作者: 斯宾塞·谢尔曼;西科尔斯基,K。 相关软件: 算法848;minpack;TENSOLVE公司 主要字段: 算子理论(47-XX);数值分析(65-XX);计算机科学(68-XX)…
PSOPT公司 8份文件引用(2013–2023) 软件作者: V.M.贝塞拉。 相关软件: Ipopt;SOCS;鼻涕… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
差热分析 8份文件引用(2019–2022) 软件作者: 韩、柯;加布里埃尔·伊芙;特里·弗里斯。 相关软件: github;基因组学;Matlab公司 主要字段: 算子理论(47-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
指针支柱 2份文件引用(2023) 软件作者: Alex H.Lang、Sourabh Vora、Holger Caesar、Lubing Zhou、Jiong Yang、Oscar Beijbom 相关软件: VoxelNet;ImageNet;nuScenes… 主要字段: 数值分析(65-XX);计算机科学(68-XX);系统论;对照(93-XX)
DPCM公司 3份文件引用(2021–2023) 软件作者: 马克西姆·布列登;Chainais-Hillairet,Claire;安托万·苏雷克 相关软件: 盖勒普;国际实验室;github 主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);算子理论(47-XX)…
固定点 3份文件引用(2014年至2021年) 软件作者: 安德烈·博赞坦(Andrei Bozantan);瓦西尔·贝林德 相关软件: – 主要字段: 算子理论(47-XX);变分法与最优控制;优化(49-XX);一般拓扑(54-XX)
向上pSAT 3份文件引用(2018–2021) 软件作者: 亚历山大·泽尔吉奇;彼得·贝克曼;Christoph M.Wintersteiger。;菲利普·吕默 相关软件: 数学SAT5;Boolector;z3… 主要字段: 计算机科学(68-XX)
算法848 2份文件引用(2005年至2011年) 软件作者: 斯宾塞·D·谢尔曼。;西科斯基,K。 相关软件: BEDFix公司;minpack;TENSOLVE公司 主要字段: 算子理论(47-XX);数值分析(65-XX)
春分 2份文件引用(2010–2012) 软件作者: Mazon,D。;布鲁姆,J。;布尔贝,C。;福格拉斯,B。;Boboc,A。;布里克斯,M。;Devries,P。;沙拉波夫,S。;L.扎贝奥。 相关软件: 喷气发动机;规范化工具 主要字段: 流体力学(76-XX);统计力学,物质结构(82-XX)
开普勒 2份文件引用(2008–2015) 软件作者: 布鲁诺·科达尼 相关软件: SELL_C_西格玛;保管;稀疏矩阵… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);粒子和系统力学(70-XX)
NES公司 1份文件引用(2023) 软件作者: 格拉巴斯(Grubas)、塞拉菲姆(Serafim);安东·杜奇科夫(Anton Duchkov);乔治·罗尼诺夫 相关软件: DiffSharp;PINNtomo;HypoSVI… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
机器人警报 1份文件引用(2015) 软件作者: 巴塔查里亚(Bhattacharya),苏布拉吉特(Subhrajit);米哈伊尔·皮夫托拉伊科 相关软件: JavaScript;OpenGL(OpenGL) 主要字段: 粒子和系统力学(70-XX)
对称NMTF 1份文件引用(2022) 软件作者: 韩国赫里巴尔;蒂莫泰吉·Hrga;格雷戈·帕帕;加什佩·佩特林;Janez Povh;普日乌尔吉,娜塔莎;维达武卡西诺维奇 相关软件: 亚当;TensorFlow;COXPRESdb… 主要字段: 运筹学、数学规划(90-XX)