Axiom (bilgisayarlı cebir sistemi)
Axiom, özgür, genel amaçlı bir bilgisayarlı cebir sistemidir. Bir yorumlayıcı ortamı, bir derleyici ve güçlü tipleme hiyerarşisi tanımlayan bir kütüphaneden oluşur. Scratchpad adlı iki bilgisayar cebir sistemi IBM tarafından geliştirilmiştir.