AXIOM -- A Computer Algebra System
Abstract