Sebastian Egner Markus Püschel Symmetry-based matrix factorization. 157-186 2004 37 J. Symb. Comput. 2 http://dx.doi.org/10.1016/j.jsc.2002.06.005 db/journals/jsc/jsc37.html#EgnerP04