Audio Computerunterstütztes Beweisen

Modellansatz Podcast17.04.14 08:30 Uhr

Modellansatz 019 von D.Rütters & G.Thäter

Dagmar Rütters führt im Gespräch mit Gudrun Thäter die Technik ein, Computer unterstützte Beweise zu führen. Eine große Rolle spielt hierbei eine mathematisch korrekte Berechnung aller Größen, die zum Beispiel durch Intervallarithmetik möglich wird .Literatur und Zusatzinformationen
  • M. Plum: Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance, Jahresbericht der Deutschen Mathematiker Vereinigung 110.1: 19, 2008.
  • P.J. McKenna, F. Pacella, M. Plum, M., D. Roth: A uniqueness result for a semilinear elliptic problem: A computer-assisted proof, Journal of Differential Equations, 247(7), 2140-2162, 2009.
  • K. H. Bachmann, G. Alefeld, J. Herzberger: Einführung in die Intervallrechnung, Zürich. B. I.-Wissenschaftsverlag. 1974.

Der Download ist eine Audio-Datei aus dem Kanal des Podcasts Modellansatz, die du hier downloaden und online anhören kannst. Informiere dich über den Modellansatz Podcast Download.

* Download/Wiedergabe im Player erfolgen direkt vom Server des Anbieters.

Stichwörter

Stichwort hinzufügen

Kommentare

℗ & © 2013-2020 - CC BY-ND 3.0 (1,32,36-) / CC BY-NC-ND 3.0 (2-31,33-35)

MP3 online hören: Computerunterstütztes Beweisen

Podcast Download - Folge Computerunterstütztes Beweisen online hören Verpasse keine Folge dieses Podcasts. Computerunterstütztes Beweisen MP3 online hören, solange die Datei verfügbar ist. Die Dateien können jederzeit vom Anbieter offline genommen werden. Die Inhalte stammen nicht von podcast.de. Die Rechte liegen bei: ℗ & © 2013-2020 - CC BY-ND 3.0 (1,32,36-) / CC BY-NC-ND 3.0 (2-31,33-35) Am Einfachsten informierst du dich über neue Downloads, indem du den Podcast Modellansatz abonnierst. Das geht per E-Mail, online oder mit einem Podcatcher und ohne iTunes. Ein Podcatcher ist eine spezielle Software zum Abonnieren und Herunterladen von Inhalten aus Podcasts.