Algorithmic number theory : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings.