Package: open-axiom

"open-axiom" package binaries on Debian:

/usr/bin/open-axiom /usr/lib/open-axiom/bin/asq /usr/lib/open-axiom/bin/AXIOMsys /usr/lib/open-axiom/bin/clef /usr/lib/open-axiom/bin/sman

You may install this package on Debian with apt-get install open-axiom