Numerical Verification Methods and ComputerAssisted Proofs for Partial Differential Equations 53 Springer Series in Computational Mathematics

Numerical Verification Methods and ComputerAssisted Proofs for Partial Differential Equations 53 Springer Series in Computational Mathematics
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.
Nº de Páginas:
Encadernação: Capa Mole / Paperback
Tema: Numerical analysis