A. Burnel et al., COMPUTING THE BRST OPERATOR USED IN QUANTIZATION OF GAUGE-THEORIES, International journal of modern physics C, 5(6), 1994, pp. 1035-1047
It is shown that for a large class of non-holonomic quantum mechanical
systems one can make the computation of BRST charge fully algorithmic
. Two computer algebra programs written in the language of REDUCE are
described. They are able to realise the complex calculations needed to
determine the charge for general nonlinear algebras. Some interesting
specific solutions are discussed.