<> <> BRST Quantization of String Theories - Applying REDUCE to High Energy Physics <> New Computing Techniques in Physics Research, D. Perret-Gallix, W. Wojcik (eds), Editions du CNRS, Paris 1990 <> pp. 595-600 <> This is my contribution to the proceedings of the first conference I attended! The paper is basically a shortened version of (and thus of my diploma thesis) with a bit more emphasis on the physical problem. <> procs <> postscript <> 1990 <> computer algebra, BRST quantisation, REDUCE <> computer algebra, mathematical physics <>