AMBIT/L Based on
CAL Derivation of
CHARYBDIS Citation
FORMAC Strong, Influence
MATHLAB Strong, positive Influence

Interactive Algebraic Manipulation