Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

• Κύριοι συγγραφείς: Nakao, Mitsuhiro T. (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Plum, Michael (http://id.loc.gov/vocabulary/relators/aut), Watanabe, Yoshitaka (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Singapore : Springer Singapore : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Springer Series in Computational Mathematics, 53
• Θέματα: Numerical analysis.; Computer science-Mathematics.; Computer mathematics.; Partial differential equations.; Numerical Analysis.; Mathematical Applications in Computer Science.; Partial Differential Equations.

In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkable advan...