Wieb Bosma Algorithmic Number Theory, 4th International Symposium, ANTS-IV, Leiden, The Netherlands, July 2-7, 2000, Proceedings ANTS Lecture Notes in Computer Science 1838 Springer 2000 3-540-67695-3 db/conf/ants/ants2000.html