BSD Plan for 2007-05-14

1. Define Kolyvagin's cohomology classes c_lambda.

2. Discuss projects.

3. New projects 
    -- implement Heegner points algorithm from last week, but faster
    -- optimize computation of p-adic L-functions
    -- verify triviality of Sha(E)[p] for more curves of rank 2 
       and more p.