FFTHomPy公司 63份文件引用(2010–2023) 软件作者: J.Zeman、J.Vondřejc、J.Novák和I.Marek 相关软件: FFTW;drp基准;PyTorch… 主要字段: 偏微分方程(35-XX);积分方程(45-XX);数值分析(65-XX)…
细屑++ 44篇文献引用(2000–2023) 软件作者: M.Lerch、G.Tischler、J.Wolff von Gudenberg、W.Hofschuster、W.Krämer 相关软件: C-XSC 2.0;国际实验室;C-XSC… 主要字段: 复变量函数(30-XX);数值分析(65-XX);计算机科学(68-XX)…
ADMiRA公司 在35份文件中引用(2010–2022) 软件作者: Lee,Kiryung;约拉姆·布雷斯勒 相关软件: CoSaMP;LMaFit;PROPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
垫片 30篇文献引用(2015–2023) 软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基 相关软件: z3;CVC4;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
瓦伦西亚 19份文件引用(2008–2020) 软件作者: A.劳赫;霍弗,E.P。;E.奥尔。 相关软件: 缬氨酸IVP;舒适的;FADBAD++… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
IBEX公司 14篇文献引用(2009–2023) 软件作者: 查伯特,G;约旦尼宁 相关软件: filib++;数字;个人资料/偏见… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
中美合作所 10篇文献引用(2014–2021) 软件作者: 阿尔伯特·E.、阿雷纳斯·P.、弗洛雷斯·蒙托亚·A.、吉纳伊姆·S.、戈梅斯·扎马洛亚·M.、马丁·马汀·E.、普埃布拉·G.、罗曼·迪兹·G。 相关软件: 防抱死制动系统;JCobox;基利姆… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
Go-ICP公司 9份文件引用(2015–2023) 软件作者: 杨蛟龙、李洪东、迪伦·坎贝尔、贾云德 相关软件: ShapeNet;3DMatch;SIFT… 主要字段: 几何(51-XX);统计学(62-XX);数值分析(65-XX)…
GRK标签 引用于8份文件(2009年至2024年) 软件作者: Olivier Bouissou,马蒂厄·马特尔 相关软件: SCOTS;PESSOA;混合跟踪验证程序… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…
倾斜 引用于8份文件(1999–2015) 软件作者: 费雷雷斯·G,比安尼克·J·M。 相关软件: Mu分析与合成工具箱;LMI工具箱;LFR-toolbox… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);差分方程和函数方程(39-XX);系统论;控制(93-XX)
积分求解器 3份文件引用(2013–2018) 软件作者: 蒂亚戈·蒙塔赫 相关软件: Flyspeck;Matlab;PASCAL-XSC… 主要字段: 数论(11-XX);近似和展开(41-XX);数值分析(65-XX)…
概率界限分析.jl 引用于2份文件(2022–2023) 软件作者: 格雷,A。;Ferson,S。;帕特利,E。 相关软件: RAMAS风险计算;CopulaModel;ANTLR… 主要字段: 计算机科学(68-XX)
从模拟到实验再到真实 1份文件引用(2023) 软件作者: 徐凯智;Ren,Allen Z。;Nguyen,Duy P。;阿尼鲁达·马朱姆达尔;杰米·费萨克(Jaime F.Fisac)。 相关软件: – 主要字段: 计算机科学(68-XX)