8
Aksioma adalah tujuan umum sistem Algebra Komputer.Ia berguna untuk penyelidikan dan pembangunan algoritma matematik.Ia mendefinisikan hierarki jenis yang betul-betul ditaip, matematik yang betul.Ia mempunyai bahasa pengaturcaraan dan pengkompil terbina dalam.
axiom
WebSite:
http://www.axiom-developer.org/Kategori
