Computerunterstütztes Beweisen
Modellansatz 019
Modellansatz · D.Rütters & G.Thäter
April 17, 201440m 30s
Audio is streamed directly from the publisher (modellansatz.de) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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.