a1 Department of Mathematics, Simon Fraser University, Burnaby, BC, V5A 1S6, Canada (email: [email protected])
a2 Mathematisches Institut, Universität Bayreuth, 95440 Bayreuth, Germany (email: [email protected])
We discuss the Mordell–Weil sieve as a general technique for proving results concerning rational points on a given curve. In the special case of curves of genus 2, we describe quite explicitly how the relevant local information can be obtained if one does not want to restrict to mod p information at primes of good reduction. We describe our implementation of the Mordell–Weil sieve algorithm and discuss its efficiency.
(Received June 15 2009)
(Revised November 30 2009)
(Online publication August 2010)
2000 Mathematics Subject Classification
Research by the first author was supported by NSERC.