Using REDUCE in High Energy Physics