A recursive method for computing zeta functions of varieties
  We present a method for computing the zeta function of a smooth projective variety over a finite field which proceeds by induction on the dimension. We have implemented our approach for some surfaces using the Magma programming language, and present some explicit examples which we have computed. 
Alan G.B. Lauder