TY - RPRT TI - Generators and relations for the group $U_4(\mathbb{Z}[1/\sqrt{2},i])$ AU - Seth Eveson Murray Greylyn PY - 2014 UR - https://arxiv.org/abs/1408.6204 ID - 1408.6204 ER -