BSD Plan for 2007-04-20

1. State the BSD formula

2. Sha and the WC group

3. Main theoem ord <= 1 ==> Sha finite.  Not known in any case when
   ord >= 2.

4. Examples.

5. Prepare something about your projects for Monday; we'll discuss
   each for a few minutes.

------------------------------------------
Next time:

2007-04-23:

1. Talk about projects:
 a. Robert B -- 2-descent
 b. Dustin M -- ap lists
 c. Robert M -- congruence graph
 d. Koopa K -- what we just did; finiteness of Sha's

New project (?):
   * Heegner points package in SAGE (they are coming up)
     
2. p-adic Regulator.