本文に飛ぶ

年 〜
年

検索結果 10 件

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>
国立国会図書館
  • 著者標目（識別子）00683743 01243081

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

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

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

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

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

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

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>
国立国会図書館全国の図書館
  • 著者標目（識別子）00683743 00920608

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

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

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

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

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

精度保証付き数値計算とその計算理工学への応用に関する総合的研究
紙図書
中尾, 充宏, 九州大学1998-1999<Y151-H10440031>
国立国会図書館
  • 著者標目（識別子）00683743

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

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

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

新しい科学計算技法と応用解析の総合的研究
紙図書
中尾, 充宏, 九州大学1996-1997<Y151-H08304018>
国立国会図書館
  • 著者標目（識別子）00683743

検索結果は以上です。

RSS