Figyelem!

Ön a Pro-M Zrt védett információs rendszerét kívánja használni.
A 7/2024 MK rendelet alapján a rendszer használatát megfigyelhetik, rögzíthetik, naplózhatják.
A rendszer jogosulatlan használata tilos és büntető- vagy polgári jogi felelősséggel jár.
A rendszer használata az előbbiekben részletezett feltételek elfogadását jelenti.

Ön a Pro-M Zrt. nyilvános rendszerét kívánja használni.
A 7/2024 MK rendelet alapján a rendszer használatát megfigyelhetik, rögzíthetik, naplózhatják.
A rendszer jogosulatlan használata tilos és büntető- vagy polgári jogi felelősséggel jár.

Élettelen természettudományok


Köszöntő

kifu Dr. Kroó Norbert 15 éve - 4:16

A konferencia megnyitója

kifu Dr. Csepeli György 15 éve - 2:50

Információ-érték és -hitelesség

kifu Mikulás Gábor 15 éve - 18:13

Formalisation (Proof-checking)

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

Computer algebra

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

Can we trust floating-point numbers?

kifu Paul Zimmermann 15 éve - 41:27

Main Issues of Computer Mathematics

kifu Henk Barendregt 15 éve - 46:45