Cargando…
Numerical verification methods and computer-assisted proofs for partial differential equations
Recently, 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 (compa...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2019
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-981-13-7669-6 http://cds.cern.ch/record/2704082 |