Az Axiom CAS rendszer

Előadó: 
Virágh János
Szervezet: 
SZTE TTIK Informatikai Tanszékcsoport
16:30
szemináriumi terem
matematika

Az Axiom, lásd http://wiki.axiom-developer.org/ az egyik legrégebbi és legnagyobb tudású matematikai szoftver, fejlesztése a 70-es években kezdődött az IBM-nél).

A többi hasonló rendszertől megkülönbözteti a gazdag, kiterjeszthető típusrendszer, a futás közbeni szigorú típusellenőrzés, a tudományos alkalmazásokhoz elengedhetetlen szigorú fejlesztési módszertan ("literate programming").

Prezentáció