年 〜
年

検索結果 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)
紙図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
国立国会図書館
  • 著者標目中尾, 充宏, 1947- Plum, Michael. 渡部, 善隆

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

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

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

実例で学ぶ精度保証付き数値計算 : 理論と実装 (臨時別冊・数理科学 ; SGCライブラリ ; 85)
紙図書
中尾充宏, 渡部善隆 共著サイエンス社2011.10<MA251-J30>
国立国会図書館全国の図書館
  • 著者標目中尾, 充宏, 1947- 渡部, 善隆 サイエンス社

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

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

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

数値的検証法から計算機援用解析学の構築へ向けての総合的研究
紙図書
中尾充宏, 九州大学 [著][中尾充宏]2003-2006<Y151-H15204007>
国立国会図書館
  • 著者標目中尾, 充宏, 1947- 九州大学

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

精度保証付き数値計算法の新展開を目ざしての総合的研究
紙図書
中尾, 充宏, 九州大学2001-2002<Y151-H13440035>
国立国会図書館
  • 著者標目中尾, 充宏, 1947-

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

数値的検証法から計算機援用解析学の構築へ向けての総合的研究
紙図書
研究代表者 中尾充宏[九州大学]2007.3
全国の図書館
  • 著者標目中尾, 充宏

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

精度保証付き数値計算とその計算理工学への応用に関する総合的研究
紙図書
中尾, 充宏, 九州大学1998-1999<Y151-H10440031>
国立国会図書館
  • 著者標目中尾, 充宏, 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)
紙図書
edited by M.T. Nakao, K. Yokoyama九州大学大学院数理学研究院21世紀COEプログラム「機能数理学の構築と展開」2006.8<MA41-B17>
国立国会図書館全国の図書館
  • 著者標目中尾, 充宏, 1947- 横山, 和弘, 1958-

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

精度保証付き数値計算法の新展開を目ざしての総合的研究
紙図書
研究代表者 中尾充宏[九州大学]2003.3
全国の図書館
  • 著者標目中尾, 充宏

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

新しい科学計算技法と応用解析の総合的研究
紙図書
中尾, 充宏, 九州大学1996-1997<Y151-H08304018>
国立国会図書館
  • 著者標目中尾, 充宏, 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
紙図書
International Conference of Kyushu University 21st Century COE Program "Development of dynamic mathematics with high functionality", Faculty of Mathematics, Kyushu University[2004]
全国の図書館
  • 著者標目...dated Numerics 中尾, 充宏

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

精度保証付き数値計算 : コンピュータによる無限への挑戦 (チュートリアル:応用数理の最前線)
紙図書
中尾充宏, 山本野人 共著日本評論社1998.6<MA251-G19>
国立国会図書館全国の図書館
  • 著者標目中尾, 充宏, 1947- 山本, 野人, 1960-

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

精度保障付き数値計算とその計算理工学への応用に関する総合的研究
紙図書
研究代表者中尾充宏[九州大学]2000.3
全国の図書館
  • 著者標目中尾, 充宏

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
紙博士論文
中尾充宏 [著]<UT51-59-H235>
国立国会図書館
  • 著者標目中尾, 充宏

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

新しい科学計算技法と応用解析の総合的研究
紙図書
研究代表者中尾充宏[九州大学]1998.3
全国の図書館
  • 著者標目中尾, 充宏

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

偏微分方程式数値解法とその周辺 II
紙図書
京都大学数理解析研究所2001.4
全国の図書館
  • 著者標目京都大学数理解析研究所 中尾, 充宏

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

保存系の計算数理の総合的研究
デジタル文書・図像類
三井, 斌友, 伊藤, 利明, 小澤, 一文, 久保田, 光一, 小藤, 俊幸, 齊藤, 善弘, 坂上, 貴之, 杉浦, 洋, 杉原, 正顯, 鈴木, 千里, 中尾, 充宏, 前田, 茂, 三好, 哲彦, 吉田, 春夫2002-03
インターネットで読める全国の図書館
  • 著者標目三井, 斌友 伊藤, 利明 小澤, 一文 久保田, 光一 小藤, 俊幸 齊藤, 善弘 坂上, 貴之 杉浦, 洋 杉原, 正顯 鈴木, 千里 中尾, 充宏 前田, 茂 三好, 哲彦 吉田, 春夫

Numerical verification method for solutions of the perturbed Gelfand equation

Numerical verification method for solutions of the perturbed Gelfand equation
デジタル文書・図像類
皆本, 晃弥, 山本, 野人, 中尾, 充宏Department of Informatics, Kyushu University1998-03DOI Technical Report147
インターネットで読める全国の図書館
  • 著者標目皆本, 晃弥 山本, 野人 中尾, 充宏

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

発展系の数値解析の総合的研究
デジタル文書・図像類
三井, 斌友, 小川, 知之, 小澤, 一文, 大野, 博, 小野, 令美, 久保田, 光一, 小藤, 俊幸, 齊藤, 善弘, 篠原, 能材, 鈴木, 千里, 中尾, 充宏, 中島, 正治, 前田, 茂, 室田, 一雄, 吉田, 春夫1999-03
インターネットで読める全国の図書館
  • 著者標目... 篠原, 能材 鈴木, 千里 中尾, 充宏 中島, 正治 前田, 茂 室田, 一雄 吉田, 春夫