Symbolic Mathematical Laboratory <tool, mathematics> An on-line system under {CTSS} for {symbolic mathematics}. It used a {display screen} and a {light pen}. [Sammet 1969, p.514]. (1995-04-16)