Described is the notion of multiple alternative representations of mathematical reasoning, particularly as they relate to algebraic notation and the potential of computers to change representations. Features of a desirable notation for algebraic problem solving are described. This is followed by a description of the RAND Corporation's intelligent…