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.