Algorithmic Number Theory 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings - Bosma, Wieb; Bosma, Wieb (Springer Berlin Heidelberg : Imprint: Springer, 2000)