Development of a computer-assisted proof method to verify the existence of solutions for systems to large-scale nonlinear elliptic partial differential equations
Development of a computer-assisted proof method to verify the existence of solutions for systems to large-scale nonlinear elliptic partial differential equations
开发计算机辅助证明方法来验证大规模非线性椭圆偏微分方程系统解的存在性
批准号：
16K17651
负责人：
Sekine Kouta
金额：
$2.16万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(27)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Kouta Sekine, Kazuaki Tanaka, and Shin'ichi Oishi]
通讯作者：
and Shin'ichi Oishi
Fast enclosure for matrix multiplication on a GPU
GPU 上矩阵乘法的快速封装
GPU 上矩阵乘法的快速封装
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Yusuke Morikura, Yusuke Nozawa, Kouta Sekine, Masahide Kashiwagi and Shin’ichi Oishi]
通讯作者：
Masahide Kashiwagi and Shin’ichi Oishi
精度保証付き数値計算の基礎
保证精度的数值计算基础
保证精度的数值计算基础
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[鈴木剛, 渡邉真莉, 魯楊帆, 野原実, 高木英典, 片山尚幸, 澤博, 藤澤正美, 金井輝人, 石井順久, 板谷治郎, 溝川貴司, 辛埴, 岡﨑浩三, 大石進一編著]
通讯作者：
大石進一編著
Sharp numerical inclusion of the best constant for embedding H10(Ω)->Lp(Ω) on bounded convex domain
在有界凸域上嵌入 H10(Ω)->Lp(Ω) 的最佳常数的尖锐数值包含
在有界凸域上嵌入 H10(Ω)->Lp(Ω) 的最佳常数的尖锐数值包含
DOI：
10.1016/j.cam.2016.07.021
发表时间：
2017
期刊：
Journal of Computational and Applied Mathematics
影响因子：
2.4
作者：
[Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, and Shin'ichi Oishi]
通讯作者：
and Shin'ichi Oishi
有界な凸領域における連立楕円型偏微分方程式の解の計算機援用存在証明法
有界凸域联立椭圆偏微分方程解的计算机辅助存在性证明方法
有界凸域联立椭圆偏微分方程解的计算机辅助存在性证明方法
DOI：
--
发表时间：
2016
期刊：
Proceedings of the Twenty-Eighth RAMP Stmposium
影响因子：
--
作者：
[関根晃太, 田中一成, 大石進一]
通讯作者：
大石進一
共 25 条
海外基金