Tous les ebooks de Mitsuhiro T. Nakao en PDF et EPUB


1  résultat(s)
Télécharger le livre : Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Ajouter à ma liste d'envies

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Mitsuhiro T. Nakao , Michael Plum , 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...

Parution : 2019-11-11
Format(s) : PDF, ePub
Éditeur : Springer
Collection : Springer Series in Computational Mathematics
J'achète
137,14 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés