Computerunterstutztes Beweisen
Dagmar R\xfctters f\xfchrt im Gespr\xe4ch mit Gudrun Th\xe4ter die Technik ein, Computer unterst\xfctzte Beweise zu f\xfchren. Eine gro\xdfe Rolle spielt hierbei eine mathematisch korrekte Berechnung aller Gr\xf6\xdfen, die zum Beispiel durch Intervallarithmetik m\xf6glich wird.