Preisvergleich / Suche / Wohnen / Büro / Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations, Fachbücher von Yoshitaka...
Thumbnail - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations, Fachbücher von Yoshitaka...

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations, Fachbücher von Yoshitaka...

Das Fachbuch "Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations" bietet eine umf... Mehr erfahren

Sammle bis zu 74 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis74 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

149,79 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Ähnliche Produkte

Produktdetails

Das Fachbuch "Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations" bietet eine umfassende Analyse der Methoden zur verifizierten Berechnung von Lösungen für partielle Differentialgleichungen. Die Autoren, Mitsuhiro T. Nakao und Yoshitaka Watanabe, haben über 25 Jahre an der Entwicklung dieser Techniken gearbeitet, die insbesondere für nichtlineare elliptische Probleme von Bedeutung sind. Das Buch beleuchtet die Vorteile computerunterstützter Beweise, die nicht nur die Existenz von Lösungen nachweisen, sondern auch präzise quantitative Informationen liefern. Diese Informationen sind entscheidend für die a posteriori Fehlerabschätzungen der approximierten Lösungen und bieten einen mathematisch rigorosen Ansatz zur Validierung von Ergebnissen. Die detaillierte Beschreibung der verifizierten Berechnungen und der computerunterstützten Beweise wird in zwei Teilen präsentiert, wobei der erste Teil die von den Autoren entwickelten Methoden behandelt, die auf einer endlichen dimensionalen Projektion basieren.

Informationen

Lieferzeit:2-4 Werktage
Marke:Springer