Modellansatz 019
Podcast: Modellansatz
Erschienen: 17.04.2014
Dauer: 40:30
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.
Weitere Informationen und umfangreichere Shownotes gibt es ggf. auf der Podcast-Website.
