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

• Material Type: 図書
• ISBN: 9789811376689 (hardback); 9811376689 (hardback)
• ISBN (error code): 9789811376696 (electronic book)
• ISSN (series): 0179-3632
• Title: Numerical verification methods and computer-assisted proofs for partial differential equations
• Author/Editor: Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.
• Series Title: Springer series in computational mathematics ; volume 53
• Title Heading: Springer series in computational mathematics ; 53. 0179-3632
• Author Heading: 中尾, 充宏, 1947- ナカオ, ミツヒロ, 1947- ( 00683743 )Authorities; Plum, Michael.; 渡部, 善隆 ワタナベ, ヨシタカ ( 01243081 )Authorities
• Publication, Distribution, etc.: Singapore : Springer (出版)
• Publication Date: [2019]; 著作権日付 : ©2019
• Publication Date (W3CDTF): 2019
• Extent: xiii, 467 pages
• Other physical details: illustrations (some color)
• Size: 25 cm.
• Place of Publication (Country Code): SG
• Text Language Code: eng
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Differential equations, Partial.; Automatic theorem proving.; Numerical calculations--Verification.
• LCC: QA377
• DDC: 515.353
• NDLC: MA117
• Target Audience: 一般
• Note (Bibliography): Includes bibliographical references and index.
• Collection (particular): 日本関係外国語図書
• Holding library: 国立国会図書館
• Call No.: MA117-D2
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 029734424; http://id.ndl.go.jp/bib/029734424
• OCLC No.: 1089997014; https://www.worldcat.org/oclc/1089997014
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 211

• Contents: Verification by Finite-Dimensional ProjectionBasic Principle of the VerificationFixed-Point Formulation of the Problem...