Overview: Is the first published monograph on computer-assisted proofs.Presents pioneering work on the numerical verification method of solution for partial differential equations.Provides verification techniquIn 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 advantage (compared with a “theoretical” proof) of additionally providing accurate quantitative
|