podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. Modellansatz Podcast
  4. Computerunterstütztes Beweisen
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.

Weitere Episoden

DEI in Math

DEI in Math

30 Minuten
vor 3 Wochen
Fractional Laplacian

Fractional Laplacian

43 Minuten
vor 2 Monaten
LLM statistics

LLM statistics

23 Minuten
vor 3 Monaten
Pagerank

Pagerank

15 Minuten
vor 9 Monaten
Zielvolumentraining

Zielvolumentraining

37 Minuten
vor 1 Jahr
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

„Computerunterstütztes Beweisen“

Worum geht es? Danach fragen wir noch nach dem Grund.

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz