Axiom je univerzální počítačový systém algebry.Je užitečný pro výzkum a vývoj matematických algoritmů.Definuje silně typovanou, matematicky správnou hierarchii typů.Má programovací jazyk a vestavěný kompilátor.
Ještě další (univerzální) počítačový algebraický systém.K dispozici je podpora numerických výpočtů, libovolné přesnosti, symbolického výpočtu a vizualizace.