I will discuss a method for computing the zeta function of an algebraicvariety over a finite field which proceeds ``by induction on thedimension''. The algorithm uses both crystalline and rigid cohomology indifferent ways. I have used the algorithm to investigate experimentally someconjectures relating to analytic ranks of elliptic curves over functionfields. I will present some of my preliminary findings.
