Számítógépes matematika

Formalisation (Proof-checking)
Laurent Théry
13 éve - 38:07

Computer algebra
Joachim von zur Gathen
13 éve - 37:21

Can we trust floating-point numbers?
Paul Zimmermann
13 éve - 41:27

Main Issues of Computer Mathematics
Henk Barendregt
13 éve - 46:45