Mathematics


Welcome

mta József Pálinkás 10 years ago - 3:58

Opening

mta Domokos Szász 10 years ago - 8:04

Műhelymunka a EKF Matematika és Informatika

Dr. Emőd Kovács 10 years ago - 26:41

Intelligens számítási rendszerek II.

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

Formalisation (Proof-checking)

kifu Laurent Théry 11 years ago - 38:07

Computer algebra

kifu Joachim von zur Gathen 11 years ago - 37:21

Can we trust floating-point numbers?

kifu Paul Zimmermann 11 years ago - 41:27

Main Issues of Computer Mathematics

kifu Henk Barendregt 11 years ago - 46:45

Egy matematikai és geometriai tartalomra

kifu János Katona
Gyula Nagy
11 years ago - 16:39

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

kifu Prof. Gábor Domokos
Richárd Kápolnai
11 years ago - 11:29

Beyond the Symmetries of Things

kifu Chaim Goodman-Strauss 11 years ago - 57:51