1: \begin{abstract}

2: A formulation of quantum mechanics based on replacing the general unitary group by finite groups is considered.

3: To solve problems arising in the context of this formulation, we use computer algebra and computational group theory  methods.

4: \end{abstract}

5: