Computer mathematics
![](http://images.videotorium.hu/recordings/1/1a/1ar/mastermedia/thumbnails/1ar_1ar_288_20.png)
Main Issues of Computer Mathematics
Henk Barendregt
14 years ago - 46:45
![](http://images.videotorium.hu/recordings/1/1a/1as/mastermedia/thumbnails/1as_1as_288_20.png)
Can we trust floating-point numbers?
Paul Zimmermann
14 years ago - 41:27
![](http://images.videotorium.hu/recordings/1/1a/1at/mastermedia/thumbnails/1at_1at_288_20.png)
Computer algebra
Joachim von zur Gathen
14 years ago - 37:21
![](http://images.videotorium.hu/recordings/1/1a/1au/mastermedia/thumbnails/1au_1au_288_20.png)
Formalisation (Proof-checking)
Laurent Théry
14 years ago - 38:07