Numerical Verification Methods and Computer-Assisted Proofs for 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...

Full description

Bibliographic Details

Main Authors:	Nakao, Mitsuhiro T. (Author), Plum, Michael (Author), Watanabe, Yoshitaka (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Singapore : Springer Singapore : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Springer Series in Computational Mathematics, 53
Subjects:	Numerical analysis. Computer science-Mathematics. Computer mathematics. Partial differential equations. Numerical Analysis. Mathematical Applications in Computer Science. Partial Differential Equations. Electronic books.
Online Access:	Connect to the full text of this electronic book