×

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

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份文件引用(2022)
软件作者: Das,Ankush;弗兰克·芬宁
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

从模拟到实验再到真实

1份文件引用(2023)
软件作者: 徐凯智;Ren,Allen Z。;Nguyen,Duy P。;阿尼鲁达·马朱姆达尔;杰米·费萨克(Jaime F.Fisac)。
相关软件:
主要字段: 计算机科学(68-XX)

泰勒模型公司

在0个文档中引用
软件作者: Benet,L.、Sanders,D.P。
相关软件: ArbFloats.jl;间隔算术.jl;泰勒集成.jl…
主要字段:

Sequoll公司

在0个文档中引用
软件作者: Blackham B、Heiser G
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件