Algorithmic number theory 9th international symposium, ANTS-IX, Nancy, France, July 19-23, 2010 ; proceedings (Springer, 2010)