Jump to main content

yr 〜
yr

Search results 64

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)
Paper図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
National Diet Library
  • Author Heading中尾, 充宏, 1947- Plum, Michael. 渡部, 善隆

偏微分方程式から数値シミュレーションへ/計算の信頼性評価 : 数値解析の新たな切り口 (現代技術への数学入門シリーズ = Mathematics for modern industrial technology)

偏微分方程式から数値シミュレーションへ/計算の信頼性評価 : 数値解析の新たな切り口 (現代技術への数学入門シリーズ = Mathematics for modern industrial technology)
Paper図書
田端正久, 中尾充宏 著講談社2008.12<MA251-J9>
National Diet LibraryOther Libraries in Japan
  • Author Heading田端, 正久, 1947- 中尾, 充宏, 1947- 若山, 正人, 1955-

実例で学ぶ精度保証付き数値計算 : 理論と実装 (臨時別冊・数理科学 ; SGCライブラリ ; 85)

実例で学ぶ精度保証付き数値計算 : 理論と実装 (臨時別冊・数理科学 ; SGCライブラリ ; 85)
Paper図書
中尾充宏, 渡部善隆 共著サイエンス社2011.10<MA251-J30>
National Diet LibraryOther Libraries in Japan
  • Author Heading中尾, 充宏, 1947- 渡部, 善隆 サイエンス社

九州大学産業技術数理研究センターキックオフミーティング : 講演資料集 (COE lecture note : Kyushu University ; v.7)

九州大学産業技術数理研究センターキックオフミーティング : 講演資料集 (COE lecture note : Kyushu University ; v.7)
Paper図書
若山正人, 中尾充宏 編九州大学大学院数理学研究院21世紀COEプログラム「機能数理学の構築と展開」2007.10<MA21-H312>
National Diet LibraryOther Libraries in Japan
  • Author Heading若山, 正人, 1955- 中尾, 充宏, 1947-

数値的検証法から計算機援用解析学の構築へ向けての総合的研究

数値的検証法から計算機援用解析学の構築へ向けての総合的研究
Paper図書
中尾充宏, 九州大学 [著][中尾充宏]2003-2006<Y151-H15204007>
National Diet Library
  • Author Heading中尾, 充宏, 1947- 九州大学

精度保証付き数値計算法の新展開を目ざしての総合的研究

精度保証付き数値計算法の新展開を目ざしての総合的研究
Paper図書
中尾, 充宏, 九州大学2001-2002<Y151-H13440035>
National Diet Library
  • Author Heading中尾, 充宏, 1947-

数値的検証法から計算機援用解析学の構築へ向けての総合的研究

数値的検証法から計算機援用解析学の構築へ向けての総合的研究
Paper図書
研究代表者 中尾充宏[九州大学]2007.3
Other Libraries in Japan
  • Author Heading中尾, 充宏

精度保証付き数値計算とその計算理工学への応用に関する総合的研究

精度保証付き数値計算とその計算理工学への応用に関する総合的研究
Paper図書
中尾, 充宏, 九州大学1998-1999<Y151-H10440031>
National Diet Library
  • Author Heading中尾, 充宏, 1947-

Computer assisted proofs : numeric and symbolic approaches : spring tutorial seminar : March 5-8, 2005 faculty of mathematics, Kyushu University (COE lecture note : Kyushu University)

Computer assisted proofs : numeric and symbolic approaches : spring tutorial seminar : March 5-8, 2005 faculty of mathematics, Kyushu University (COE lecture note : Kyushu University)
Paper図書
edited by M.T. Nakao, K. Yokoyama九州大学大学院数理学研究院21世紀COEプログラム「機能数理学の構築と展開」2006.8<MA41-B17>
National Diet LibraryOther Libraries in Japan
  • Author Heading中尾, 充宏, 1947- 横山, 和弘, 1958-

精度保証付き数値計算法の新展開を目ざしての総合的研究

精度保証付き数値計算法の新展開を目ざしての総合的研究
Paper図書
研究代表者 中尾充宏[九州大学]2003.3
Other Libraries in Japan
  • Author Heading中尾, 充宏

新しい科学計算技法と応用解析の総合的研究

新しい科学計算技法と応用解析の総合的研究
Paper図書
中尾, 充宏, 九州大学1996-1997<Y151-H08304018>
National Diet Library
  • Author Heading中尾, 充宏, 1947-

SCAN 2004 : 11the GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, October 4-8, 2004 Nishitetsu Grand Hotel Fukuoka, Japan : book of abstracts

SCAN 2004 : 11the GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, October 4-8, 2004 Nishitetsu Grand Hotel Fukuoka, Japan : book of abstracts
Paper図書
International Conference of Kyushu University 21st Century COE Program "Development of dynamic mathematics with high functionality", Faculty of Mathematics, Kyushu University[2004]
Other Libraries in Japan
  • Author Heading...dated Numerics 中尾, 充宏

精度保証付き数値計算 : コンピュータによる無限への挑戦 (チュートリアル:応用数理の最前線)

精度保証付き数値計算 : コンピュータによる無限への挑戦 (チュートリアル:応用数理の最前線)
Paper図書
中尾充宏, 山本野人 共著日本評論社1998.6<MA251-G19>
National Diet LibraryOther Libraries in Japan
  • Author Heading中尾, 充宏, 1947- 山本, 野人, 1960-

精度保障付き数値計算とその計算理工学への応用に関する総合的研究

精度保障付き数値計算とその計算理工学への応用に関する総合的研究
Paper図書
研究代表者中尾充宏[九州大学]2000.3
Other Libraries in Japan
  • Author Heading中尾, 充宏

L[∞] error estimates and superconvergence results for a collocation-H[-1] -galerkin method for elliptic equations

L[∞] error estimates and superconvergence results for a collocation-H[-1] -galerkin method for elliptic equations
Paper博士論文
中尾充宏 [著]<UT51-59-H235>
National Diet Library
  • Author Heading中尾, 充宏

新しい科学計算技法と応用解析の総合的研究

新しい科学計算技法と応用解析の総合的研究
Paper図書
研究代表者中尾充宏[九州大学]1998.3
Other Libraries in Japan
  • Author Heading中尾, 充宏

偏微分方程式数値解法とその周辺 II

偏微分方程式数値解法とその周辺 II
Paper図書
京都大学数理解析研究所2001.4
Other Libraries in Japan
  • Author Heading京都大学数理解析研究所 中尾, 充宏

保存系の計算数理の総合的研究

保存系の計算数理の総合的研究
Digital文書・図像類
三井, 斌友, 伊藤, 利明, 小澤, 一文, 久保田, 光一, 小藤, 俊幸, 齊藤, 善弘, 坂上, 貴之, 杉浦, 洋, 杉原, 正顯, 鈴木, 千里, 中尾, 充宏, 前田, 茂, 三好, 哲彦, 吉田, 春夫2002-03
Available onlineOther Libraries in Japan
  • Author Heading三井, 斌友 伊藤, 利明 小澤, 一文 久保田, 光一 小藤, 俊幸 齊藤, 善弘 坂上, 貴之 杉浦, 洋 杉原, 正顯 鈴木, 千里 中尾, 充宏 前田, 茂 三好, 哲彦 吉田, 春夫

Numerical verification method for solutions of the perturbed Gelfand equation

Numerical verification method for solutions of the perturbed Gelfand equation
Digital文書・図像類
皆本, 晃弥, 山本, 野人, 中尾, 充宏Department of Informatics, Kyushu University1998-03DOI Technical Report147
Available onlineOther Libraries in Japan
  • Author Heading皆本, 晃弥 山本, 野人 中尾, 充宏

発展系の数値解析の総合的研究

発展系の数値解析の総合的研究
Digital文書・図像類
三井, 斌友, 小川, 知之, 小澤, 一文, 大野, 博, 小野, 令美, 久保田, 光一, 小藤, 俊幸, 齊藤, 善弘, 篠原, 能材, 鈴木, 千里, 中尾, 充宏, 中島, 正治, 前田, 茂, 室田, 一雄, 吉田, 春夫1999-03
Available onlineOther Libraries in Japan
  • Author Heading... 篠原, 能材 鈴木, 千里 中尾, 充宏 中島, 正治 前田, 茂 室田, 一雄 吉田, 春夫
RSS