偏微分方程式の解に対する数値的存在検証---コンピュータによる厳密な解析学の展開---
偏微分方程式の解に対する数値的存在検証---コンピュータによる厳密な解析学の展開---
复制标题
偏微分方程解存在性的数值验证 --- 使用计算机进行严格分析的发展 ---
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中尾充宏
中科院分区：
文献类型：
--
作者：
渡部善隆，木下武彦;木村拓馬，山本野人，中尾充宏;M. T. Nakao;Takehiko Kinoshita;Eiichi Nakai and Gaku Sadasue;中尾充宏
