Der Modellansatz: Modell019 - Computerunterstütztes Beweisen

D.Rütters & G.Thäter

Bei genauem Hinsehen finden wir die Naturwissenschaft und besonders Mathematik überall in unserem Leben, vom Wasserhahn über die automatischen Temporegelungen an Autobahnen, in der Medizintechnik bis hin zum Mobiltelefon. Woran die Forscher, Absolventen und Lehrenden in Karlsruhe gerade tüfteln, erfahren wir im Modellansatz Podcast aus erster Hand.

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.

Zitatsangabe

D.Rütters & G.Thäter: Computerunterstütztes Beweisen, Gespräch im Modellansatz Podcast, Folge 019, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014. <http://modellansatz.de/beweisen>

Download

D.Rütters & G.Thäter: Computerunterstütztes Beweisen (20MB, mp3)