(4)

Main Issues of Computer Mathematics
kifu Henk Barendregt 14 years ago - 46:45

Can we trust floating-point numbers?
kifu Paul Zimmermann 14 years ago - 41:27

Computer algebra
kifu Joachim von zur Gathen 14 years ago - 37:21

Formalisation (Proof-checking)
kifu Laurent Théry 14 years ago - 38:07