Számítógépes matematika
Formalisation (Proof-checking)
Laurent Théry
14 éve - 38:07
Computer algebra
Joachim von zur Gathen
14 éve - 37:21
Can we trust floating-point numbers?
Paul Zimmermann
14 éve - 41:27
Main Issues of Computer Mathematics
Henk Barendregt
14 éve - 46:45