TY - RPRT TI - Noetherianity up to symmetry AU - Jan Draisma PY - 2013 UR - https://arxiv.org/abs/1310.1705 ID - 1310.1705 ER -