IAM
Interactive Algebraic Manipulation. Interactive {symbolic
mathematics} for {PDP-10}.
["IAM, A System for Interactive Algebraic Manipulation", C.
Christensen et al, Proc Second Symp Symb Alg Manip, ACM Mar
1971].