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
Vous en avez un à vendre ?
Vendez-le-vôtrePrix 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 plus89,95 €
Produit Neuf
Ou 22,49 € /mois
- Livraison à 0,01 €
- Livré entre le 13 et le 23 juin
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.
-
Guide Des Teintures Naturelles
6 avis
Occasion dès 45,00 €
-
Flore De La France Méditerranéenne Continentale
Neuf dès 96,00 €
-
Méthodes Et Techniques De Traitement Du Signal Et Applications Aux Mesures Physiques - Tome 1 - Principes Généraux Et Méthodes Classiques (4ème Édition Revue Et Augmentée De Juillet 1985)
Occasion dès 95,00 €
-
Dynamique Cours Et Exercices Corrigés - Bts-Iut-Écoles D'ingénieurs-Capet De Génie Mécanique-Agrégations De Mécanique Et De Génie Mécanique
Occasion dès 100,00 €
-
Les Étoiles Et Les Curiosités Du Ciel - Description Complète Du Ciel Visible À L'úil Nu Et De Tous Les Objets Célestes Faciles À Observer, Supplément De L'astronomie Populaire
3 avis
Occasion dès 48,66 €
-
Manuel Des Traits De Charpente
1 avis
Neuf dès 49,00 €
-
Introduction Aux Éphémérides Et Phénomènes Astronomiques - Supplément Explicatif À La Connaissance Des Temps
Neuf dès 119,00 €
-
L'inexorable Defaite
1 avis
Neuf dès 69,00 €
Occasion dès 50,00 €
-
Physique - Tome 2, Electricité Et Magnétisme, Pack En 2 Volumes : Manuel Et Solutionnaire
2 avis
Neuf dès 72,50 €
Occasion dès 69,90 €
-
Réalisez Votre Téléscope Nouvelle Édition
1 avis
Occasion dès 95,00 €
-
Mathématiques L2 - Cours Complet Avec 700 Tests Et Exercices Corrigés
2 avis
Occasion dès 130,00 €
-
Applied Survival Analysis Using R
Neuf dès 71,50 €
-
La Politique Du Chimpanzé
2 avis
Occasion dès 89,90 €
-
La Charpente En Bois
2 avis
Occasion dès 76,42 €
-
L'opticien-Lunetier
1 avis
Occasion dès 100,00 €
-
La Foudre - Nature, Histoire, Risques Et Protection
Occasion dès 70,00 €
-
Dictionnaire Ricci Des Plantes Chinoises - Edition Chinois-Français, Latin, Anglais
2 avis
Neuf dès 110,00 €
Occasion dès 59,00 €
-
La Théorie Réactionnelle - Nouvelle Physique Atomique, Nap
Occasion dès 60,00 €
-
Conception Des Machines, Principes Et Applications - Volume 2, Dynamique
Neuf dès 89,00 €
Occasion dès 175,20 €
-
Rabia
Neuf dès 54,99 €
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