Bjorn Poonen: Computing Néron-Severi groups