検索条件入力 ＞ 書誌詳細 ＞ Numerical verification methods and computer-assisted proofs for partial differential equations
書誌情報:Numerical verification methods and computer-assisted proofs for partial differential equations
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
Singapore : Springer , c2019
xiii, 467 p. : ill. (some col.) ; 25 cm
 WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号登録番号資料ID状態貸出区分備考 
1 0太秦南館:５階閲覧室
  • 413.63
  • N41n
  •  
1039786208006908 利用可
図書（帯出可） 

選択行を：  

書誌詳細
刊年2019
形態xiii, 467 p. : ill. (some col.) ; 25 cm
シリーズ名Springer series in computational mathematics ; 53
注記Includes bibliographical references (p. 447-462) and index
出版国シンガポール
標題言語英語
本文言語英語
著者情報中尾, 充宏(1947-) (ナカオ, ミツヒロ)
Plum, Michael
渡部, 善隆 (ワタナベ, ヨシタカ)
分類LCC:QA377
DC23:515/.353
ISBN9789811376689
件名LCSH:Differentialequations,Partial
LCSH:Automatictheoremproving
LCSH:Numericalcalculations -- Verification
NCIDBB29341616

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ