An interactive system that performs the operations of algebra (simplification, factorization, multiplying out brackets, etc.) on algebraic expressions typed in by the user. These systems are increasingly used in ‘mathematical assistants’, particularly in the field of general relativity. Popular systems include MAPLE and MATHEMATICA. See also algebraic symbol manipulation language.