Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26--29, 2013
scientific article; zbMATH DE number 6199191