Text this: Some Experiments in Algebraic Manipulation by Computer.