TY - RPRT TI - A non-commutative F5 algorithm with an application to the computation of Loewy layers AU - Simon A. King PY - 2012 DO - 10.1016/j.jsc.2014.01.006 UR - https://arxiv.org/abs/1210.6614 ID - 1210.6614 ER -