Computer mathematics
Main Issues of Computer Mathematics
Henk Barendregt
15 years ago - 46:45
Can we trust floating-point numbers?
Paul Zimmermann
15 years ago - 41:27
Computer algebra
Joachim von zur Gathen
15 years ago - 37:21
Formalisation (Proof-checking)
Laurent Théry
15 years ago - 38:07