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