Axiom er et veldig nyttig dataalgebraprogram ( CAS ) for forskning og utvikling av matematiske algoritmer , som det definerer en streng syntaks for, med nivåer av strukturerte matematiske hierarkier. Det vil si at matematiske objekter (som ringer, felt, polynomer) så vel som datastrukturer (som lister, trær, hashtabeller ) skrives automatisk. Når en operasjon brukes på et objekt, bestemmer typen av objektet oppførselen til operasjonen (i likhet med objektorientert programmering ).
Axiom er assosiert med, men kan skilles fra, programmeringsspråket kalt A# .
Opprinnelig utviklet av forskere ved IBM under navnet Scratchpad , og har vært under utvikling siden 1971 . På 1990 -tallet ble det konvertert til et kommersielt produkt, og solgt til NAG , som i 2002 ga det ut på nytt som åpen kildekode og fri programvare , utgitt under en modifisert BSD-lisens .