Bjorn Poonen: Computing Néron-Severi groups

If the Tate conjecture is true, and if étale cohomology with finite coefficients is computable, then the Néron-Severi group of any smooth projective variety is computable, as is the group of numerical equivalence classes of codimension p cycles.