Az Axiom CAS rendszer

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").