/usr/bin/axiom
/usr/lib/axiom-20140801/bin/asq
/usr/lib/axiom-20140801/bin/axiom
/usr/lib/axiom-20140801/bin/AXIOMsys
/usr/lib/axiom-20140801/bin/booklet
/usr/lib/axiom-20140801/bin/clef
/usr/lib/axiom-20140801/bin/index.html
/usr/lib/axiom-20140801/bin/sman
You may install this package on Debian with
apt-get
install axiom