Ön jelenleg a(z) Kormányzati Informatikai Fejlesztési Ügynökség Videotorium aloldalát böngészi. A keresési találatok, illetve az aloldal minden felülete (Főoldal, Kategóriák, Csatornák, Élő közvetítések) kizárólag az intézményi aloldal tartalmait listázza. Amennyiben a Videotorium teljes archívumát kívánja elérni, kérjük navigáljon vissza a Videotorium főoldalára!

Computer mathematics


Main Issues of Computer Mathematics

Henk Barendregt 14 éve - 46:45

Can we trust floating-point numbers?

Paul Zimmermann 14 éve - 41:27

Computer algebra

Joachim von zur Gathen 14 éve - 37:21

Formalisation (Proof-checking)

Laurent Théry 14 éve - 38:07