霍利·哈默 31份文件引用(2014年至2022年) 软件作者: 塞萨里·卡利西克;约瑟夫·厄本 相关软件: HOL灯;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)
FEMPAR公司 21篇文献引用(2016–2023) 软件作者: 圣地亚哥·巴迪亚、阿尔贝托·马汀、哈维尔·普林西比 相关软件: PETSc;CutFEM;测试… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
BoolNet公司 20篇文献引用(2012–2023) 软件作者: 克里斯托夫·穆塞尔(Christoph Müssel)、马丁·霍普芬西茨(Martin Hopfensitz)、道周(Dao Zhou)、汉斯·凯斯特勒(Hans Kestler) 相关软件: 金西姆;R;麦考利2… 主要字段: 常微分方程(34-XX);统计学(62-XX);运筹学,数学规划(90-XX)…
毒液 10篇文献引用(2018–2023) 软件作者: David Eriksson、David Bindel、Christine Shoemaker 相关软件: MLMSRBF;EGO;野马… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
级联 引用于8份文件(2000–2008) 软件作者: Jochen Beister、Gernot Eckstein、Ralf Wollowski 相关软件: 级联 主要字段: 数值分析(65-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
杰克 6篇文献引用(2017–2022) 软件作者: 马古利斯,F。;Gbikpi Benissan,G。 相关软件: Alinea;Gmsh;Getfem++… 主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
tK目标 6篇文献引用(2005–2008) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥·普格利泽 相关软件: 科莱姆;琳达;克拉瓦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
AFACx公司 6篇文献引用(2003–2022) 软件作者: 巴里·李;斯蒂芬·麦考密克(Stephen F.McCormick)。;菲利普·鲍比;丹尼尔·昆兰。 相关软件: PETSc;炒作;梅露… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)
GRINS公司 3份文件引用(2018–2021) 软件作者: 保罗·鲍曼(Paul T.Bauman)、罗伊·斯托格纳(Roy H.Stogner) 相关软件: PETSc;交易.ii;libMesh… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
快速输入 4份文件引用(2010–2016) 软件作者: 阿里尔·杰莫维奇;奥费尔·梅西(Ofer Meshi);伊恩·麦格劳(Ian Mcgraw);盖尔·埃利丹 相关软件: 利比亚国防情报局;炼金术;PMTK… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)
亚太地区 3份文件引用(2022–2023) 软件作者: 徐阳阳;徐一波;颜永贵;科林·萨切尔·谢泼德(Colin Sutcher-Shepard);利奥波德·格林伯格;陈杰 相关软件: 十字花科植物;LIBSVM;HOGWILD… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
DUNE-FEM-DG系列 3份文件引用(2019–2022) 软件作者: 安德烈亚斯·德纳;斯特凡·吉尔克;罗伯特·克罗夫科恩(Robert Klöfkorn);托比亚斯·马尔库姆斯 相关软件: 沙丘-雌性;蟒蛇;DUNE-FEM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)
新GOA 引用于2份文件(2020–2022) 软件作者: Yu,G。;Fu,G。;Wang,J。;赵,Y。 相关软件: 反应组;Tensor2传感器;协同因子… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
POOSL公司 3份文件引用(2003–2022) 软件作者: Theelen,B.D。;Voeten,J.P.M。;R.D.J.克莱默。 相关软件: 蟒蛇;TypeScript;酯类… 主要字段: 计算机科学(68-XX)
定时丽贝卡 3份文件引用(2016–2020) 软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。 相关软件: 丽贝卡;Uppaal;旋转… 主要字段: 计算机科学(68-XX)
生物质量管理 1份文件引用(2022) 软件作者: A.纳尔迪。 相关软件: BoolNet;品脱;PyBoolNet… 主要字段: 阶、格、有序代数结构(06-XX);生物学和其他自然科学(92-XX)
惯性-SsGM 引用于2份文件(2022–2023) 软件作者: 徐阳阳、徐一波、颜永贵、陈杰 相关软件: iPiano;FPC_AS;APAM… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
symPACK(符号包) 1份文件引用(2018) 软件作者: Mathias Jacquelin、Yili Zheng、Esmond Ng、Katherine Yelick 相关软件: ScaLAPACK;FLEUR;高斯… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX)
xREI公司 1份文件引用(2020) 软件作者: 伊恩·霍姆斯(Ian Holmes),拉尔斯·巴奎斯特(Lars Barquist) 相关软件: TTA Lynx;大坝7;CodonW… 主要字段: 生物学和其他自然科学(92-XX)
EventHands活动指南 在0个文档中引用 软件作者: Rudnev,V.,Golyanik,V..,Wang,J.,Seidel,H.P.,Mueller,F.,Elgharib,M.,Theobalt,C。 相关软件: 蟒蛇;Mask2手柄;JGR-P2O… 主要字段: –
RB-CCR公司 1份文件引用(2021) 软件作者: Micha Koziarski;科林·贝林格(Colin Bellinger);Woźniak,Michał 相关软件: 阿达欣;打击;MWMOTE… 主要字段: 计算机科学(68-XX)
sce标准 1份文件引用(2023) 软件作者: 杨志荣;陈宇伟;Denis Sedov;塞缪尔·卡斯基(Samuel Kaski);朱卡·科兰德 相关软件: ELFI;大Vis;largeVis… 主要字段: 统计学(62-XX)
SVR-AMA公司 1份文件引用(2019) 软件作者: 劳拉·费兰蒂;Pu,Ye;科林·琼斯。;塔马斯·凯维茨基 相关软件: MPT公司 主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX)