Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22--25, 2012
scientific article; zbMATH DE number 6199190