Numerical verification methods and computer-assisted proofs for partial differential equations. (2019)

• Record Type: Book
• Further Information: Note: Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.
• Authors: Nakao, Mitsuhiro T; Plum, Michael; (Mathematician), Watanabe, Yoshitaka
• Contents: 1. Basic principle of the verification.- 2. Newton-type approaches in finite dimension.- 3. Infinite dimensional Newton-type method.- 4. Applications to the computer-assisted proof in analysis.- 5. Evolutional equations.- 6. Eigenvalue enclosures for selfadjoint operators.- 7. Abstract formulation F(u) = 0, and the basic theorem.- 8. Strong solutions for second-order problems.- 9. Weak solutions for second-order problems.- 10. Weak solutions for fourth-order problems.- 11. Parameter-dependent problems.- 12. Non-selfadjoint eigenvalue problems.- 13. Some other methods.
• Publisher Details: Singapore : Springer
• Publication Date: 2019
• Extent: 1 online resource (xiii, 467 pages), illustrations (some color)
• Subjects: 515/.353; Differential equations, Partial; Automatic theorem proving; Numerical calculations -- Verification; Electronic books
• Languages: English
• ISBNs: 9789811376696; 9811376697
• Related ISBNs: 9789811376689
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed November 18, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.