Algorithmic Number Theory : Proceedings. 4th International Symposium ANTS-IV. Leiden, The Netherlands, 2.- 7. July 2000 - Bosma, Wieb (Lecture Notes in Computer Science, 2000)