Axiom

Axiom

Aksioma adalah tujuan umum sistem Algebra Komputer.Ia berguna untuk penyelidikan dan pembangunan algoritma matematik.
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

Alternatif untuk Axiom untuk semua platform dengan lesen sumber terbuka