Title: Some experiments in algebraic manipulation by computer