LIBROS DEL AUTOR: mitsuhiro t nakao

1 resultados para LIBROS DEL AUTOR: mitsuhiro t nakao

mitsuhiro t nakao Eliminar filtro Quitar filtros
  • Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
    Michael Plum / Mitsuhiro T. Nakao / Yoshitaka Watanabe
    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 advantage (compared with a 'theoretical' proof) of additionally providing accurate qu...
    Disponible

    173,80 €