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: | Nakao, Mitsuhiro T, Plum, Michael, Watanabe, Yoshitaka |
---|---|
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 |
Ejemplares similares
-
Computational partial differential equations: numerical methods and diffpack programming
por: Langtangen, Hans Petter
Publicado: (2003) -
Computational partial differential equations: numerical methods and diffpack programming
por: Langtangen, Hans Petter
Publicado: (1999) -
Numerical methods for partial differential equations
por: Ames, William F, et al.
Publicado: (1984) -
Numerical methods for partial differential equations
por: Ames, William F
Publicado: (1977) -
Numerical methods for partial differential equations
por: Ames, William F
Publicado: (1977)