An Algorithmic Approach to Pick's Theorem
  We give an algorithmic proof of Pick's theorem which calculates the area of a lattice-polygon in terms of the lattice-points. 
Haim Shraga Rosner
math.NT math.MG