Numerical verification method of solutions for nonlinear evolutional equations
Numerical verification method of solutions for nonlinear evolutional equations
批准号:
24540151
负责人:
NAKAO Mitsuhiro
金额:
$3.24万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
2012
资助国家:
日本
项目状态:
已结题
起止时间:
2012-04-01 至 2015-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
PDEの周期解の精度保証の現状について
PDE周期解精度保证现状
DOI:
--
发表时间:
2014
期刊:
影响因子:
--
作者:
[木下武彦, 木村拓馬, 中尾充宏]
通讯作者:
中尾充宏
2階楕円型作用素における構成的 Laplacian ノルム評価
二阶椭圆算子的建设性拉普拉斯范数评估
DOI:
--
发表时间:
2014
期刊:
影响因子:
--
作者:
[Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro T. Nakao, 矢野裕子, 高橋絢那(お茶の水女子大学大学院),萩田真理子(お茶の水女子大学大学院), 渡部善隆,木下武彦,中尾充宏]
通讯作者:
渡部善隆,木下武彦,中尾充宏
Numerical verification method of solutions for nonlinear elliptic and parabolic problems
非线性椭圆抛物型问题解的数值验证方法
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[渡部善隆, 中尾充宏, 中尾充宏]
通讯作者:
中尾充宏
偏微分方程式の解に対する数値的存在検証---コンピュータによる厳密な解析学の展開---
偏微分方程解存在性的数值验证 --- 使用计算机进行严格分析的发展 ---
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[渡部善隆,木下武彦, 木村拓馬,山本野人,中尾充宏, M. T. Nakao, Takehiko Kinoshita, Eiichi Nakai and Gaku Sadasue, 中尾充宏]
通讯作者:
中尾充宏
Some Considerations of the Invertibility Verifications for Linear Elliptic Operators
线性椭圆算子可逆性验证的一些思考
DOI:
10.1137/120894683
发表时间:
2015
期刊:
Japan Journal of Industrial and Applied Mathematics
影响因子:
0.9
作者:
[Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, and Nobito Yamamoto]
通讯作者:
and Nobito Yamamoto
共 28 条
A study on the numerical verification method of solutions with high accuracy for the nonlinear mathematical models in infinite dimension
-
批准号:15K05012
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$3.0万
-
财政年份:2015
-
负责人:NAKAO Mitsuhiro
-
依托单位:
Development of computer assisted analysis for complicated nonlinear phenomena
-
批准号:20224001
-
项目类别:Grant-in-Aid for Scientific Research (S)
-
资助金额:$54.33万
-
财政年份:2008
-
负责人:NAKAO Mitsuhiro
-
依托单位:
Asymptotic behaivours of solutions for nonlinear wave equations
-
批准号:17340040
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$4.76万
-
财政年份:2005
-
负责人:NAKAO Mitsuhiro
-
依托单位:
Synthetic approach for the development of computer assisted analysis from the numerical verification methods
-
批准号:15204007
-
项目类别:Grant-in-Aid for Scientific Research (A)
-
资助金额:$20.63万
-
财政年份:2003
-
负责人:NAKAO Mitsuhiro
-
依托单位:
Synthetic approach for new developments of self-validating numerics
-
批准号:13440035
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$10.88万
-
财政年份:2001
-
负责人:NAKAO Mitsuhiro
-
依托单位:
Exterior problem for nonlinear wave equations
-
批准号:13440049
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$7.3万
-
财政年份:2001
-
负责人:NAKAO Mitsuhiro
-
依托单位:
Stabilization problem for nonlinear wave eq
-
批准号:10440053
-
项目类别:Grant-in-Aid for Scientific Research (B).
-
资助金额:$6.72万
-
财政年份:1998
-
负责人:NAKAO Mitsuhiro
-
依托单位:
海外基金