Matematika


Welcome

mta Pálinkás József 10 éve - 3:58

Opening

mta Szász Domokos 10 éve - 8:04

Műhelymunka a EKF Matematika és Informatika

Dr. Kovács Emőd 10 éve - 26:41

Intelligens számítási rendszerek II.

sze-gyor Prof. Kóczy T. László 10 éve - 1:07:49

Formalisation (Proof-checking)

kifu Laurent Théry 10 éve - 38:07

Computer algebra

kifu Joachim von zur Gathen 10 éve - 37:21

Can we trust floating-point numbers?

kifu Paul Zimmermann 10 éve - 41:27

Main Issues of Computer Mathematics

kifu Henk Barendregt 10 éve - 46:45

Egy matematikai és geometriai tartalomra

kifu Katona János
Nagy Gyula
10 éve - 16:39

Konvex testek egyensúlyi morfológia-osztályainak

kifu Prof. Domokos Gábor
Kápolnai Richárd
10 éve - 11:29

Beyond the Symmetries of Things

kifu Chaim Goodman-Strauss 10 éve - 57:51