Télécharger le livre :  Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
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...

Editeur : Springer
Parution : 2019-11-11
Collection : Springer Series in Computational Mathematics PDF, ePub

137,14

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Inequalities and Applications 2010
Inequalities arise as an essential component in various mathematical areas. Besides forming a highly important collection of tools, e.g. for proving analytic or stochastic theorems or for deriving error estimates in numerical mathematics, they constitute a challenging...

Editeur : Birkhäuser
Parution : 2012-05-26
Collection : International Series of Numerical Mathematics PDF, ePub

94,94

Téléchargement immédiat
Dès validation de votre commande