Numerical Verification Methods And Computer-Assisted Proofs For Partial Differential Equations - Nakao Mitsuhiro T.
- Collection: Springer Series In Computational Mathematics
- Format: Cartonné Voir le descriptif
Prix conseillé 139,09 €
Qu'est-ce que le prix barré ?
C'est le prix de vente conseillé par le fabricant ou l'importateur du produit.
En savoir plus110,27 €
Produit Neuf
Ou 27,57 € /mois
- Livraison à 0,01 €
- Livré entre le 21 août et le 7 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9789811376689_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Numerical Verification Methods And Computer - Assisted Proofs For Partial Differential Equations de Collectif Format... - Livre Mathématiques
0 avis sur Numerical Verification Methods And Computer - Assisted Proofs For Partial Differential Equations de Collectif Format... - Livre Mathématiques
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Traité De Maçonnerie Ancienne - Calculs, Matériaux, Diagnostic Et Réhabilitation
3 avis
Neuf dès 75,00 €
Occasion dès 71,25 €
-
L'observation En Astrophysique
1 avis
Neuf dès 65,00 €
Occasion dès 60,00 €
-
Probabilités
1 avis
Occasion dès 85,02 €
-
Mathématiques Prépa Mp/Mp*. Troisième Partie, Cours Complet, 590 Exercices Corrigés
1 avis
Occasion dès 89,90 €
-
Physique - Volume 1, Mécanique
Occasion dès 74,90 €
-
Guide Des Teintures Naturelles
6 avis
Occasion dès 69,90 €
-
Physique De La Vie Quotidienne - Avec 103 Figures
Occasion dès 75,00 €
-
Algèbre Linéaire Et Géométrie Classique
1 avis
Occasion dès 125,00 €
-
Analyse Mathématique Et Calcul Numérique Pour Les Sciences Et Les Techniques Tome 7 - Evolution, Fourier, Laplace
Occasion dès 72,17 €
-
Analyse Mathématique Et Calcul Numérique Pour Les Sciences Et Les Techniques Tome 8 - Evolution, Semi-Groupe, Variationnel
Occasion dès 59,42 €
-
Introduction Aux Méthodes Des Éléments Finis (Traduit Du Russe Par Djilali Embarek) - Collection Mathématiques - 1985
1 avis
Occasion dès 68,70 €
-
Mathematiques Prepa Mp/Mp* Pc/Pc* Psi/Psi*. Première Partie, Cours Complet @ 527 Exercices Corrigés
2 avis
Occasion dès 64,90 €
-
Géométrie Contemporaine - Méthodes Et Applications - Deuxième Partie - Géométrie Et Topologie Des Variétés (Traduit Du Russe Par Vladimir Kotliar En 1982)
2 avis
Occasion dès 75,00 €
-
Analyse Mathématique Et Calcul Numérique Pour Les Sciences Et Les Techniques Tome 9 - Evolution, Numérique, Transport
1 avis
Occasion dès 59,42 €
-
Maintenance Et Réparation Des Ponts
Neuf dès 134,80 €
Occasion dès 94,00 €
-
Introduction À La Théorie Homologique De La Dimension (Traduit Du Russe Par Alexei Bronislavovich Sossinski)
Occasion dès 88,50 €
-
Les Bases De L'électromagnétisme
2 avis
Occasion dès 65,25 €
-
Histoire De La Botanique
4 avis
Occasion dès 135,43 €
-
Maçonnerie De Pierre - Matériaux Et Techniques, Désordres Et Interventions
1 avis
Occasion dès 149,90 €
-
Optique Matricielle
1 avis
Occasion dès 142,00 €
Produits similaires
Présentation Numerical Verification Methods And Computer - Assisted Proofs For Partial Differential Equations de Collectif Format...
- Livre Mathématiques
Résumé :
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 quantitative information.
The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for nonlinear elliptic problems of the form -?u=f(x,u,?u) with Dirichlet boundary conditions. Here, by verified computation is meant a computer-assisted numerical approach for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.
In this monograph, the authors give a detailed description of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of the authors' methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.
©
Détails de conformité du produit
Personne responsable dans l'UE