while

Computing Mordell-Weil groups is very well studied, though still there is no provably-correct algorithm for computing it. Computing torsion subgroups for modular abelian varieties is less well studied. The paper [AS05] describes some algorithms that give upper and lower bounds.

William Stein 2006-10-20