Numerical verification methods and computer-assisted proofs for partial differential equations

• 資料種別: 図書
• ISBN: 9789811376689 (hardback); 9811376689 (hardback)
• ISBN（エラーコード）: 9789811376696 (electronic book)
• ISSN（シリーズ）: 0179-3632
• タイトル: Numerical verification methods and computer-assisted proofs for partial differential equations
• 著者・編者: Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.
• シリーズタイトル: Springer series in computational mathematics ; volume 53
• タイトル標目: Springer series in computational mathematics ; 53. 0179-3632
• 著者標目: 中尾, 充宏, 1947- ナカオ, ミツヒロ, 1947- ( 00683743 )典拠; Plum, Michael.; 渡部, 善隆 ワタナベ, ヨシタカ ( 01243081 )典拠
• 出版事項: Singapore : Springer (出版)
• 出版年月日等: [2019]; 著作権日付 : ©2019
• 出版年（W3CDTF）: 2019
• 数量: xiii, 467 pages
• 形態の詳細: illustrations (some color)
• 大きさ: 25 cm.
• 出版地（国名コード）: SG
• 本文の言語コード: eng
• 表現種別: text
• 機器種別: unmediated
• キャリア種別: volume
• 件名標目: Differential equations, Partial.; Automatic theorem proving.; Numerical calculations--Verification.
• LCC: QA377
• DDC: 515.353
• NDLC: MA117
• 対象利用者: 一般
• 書誌注記: Includes bibliographical references and index.
• コレクション（個別）: 日本関係外国語図書
• 所蔵機関: 国立国会図書館
• 請求記号: MA117-D2
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 029734424; http://id.ndl.go.jp/bib/029734424
• OCLC番号: 1089997014; https://www.worldcat.org/oclc/1089997014
• 目録規則: RDA
• 整理区分コード: 211

• 内容細目: Verification by Finite-Dimensional ProjectionBasic Principle of the VerificationFixed-Point Formulation of the Problem...