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.
WebSite:
http://www.axiom-developer.org/Kategori
Alternatif untuk Axiom untuk Web dengan lesen komersil
180
140
Mathematica
Sistem pengkomputeran teknikal yang pasti merangkumi pembelajaran mesin dan rangkaian saraf, sains data, visualisasi dan banyak lagi.