C.a.R. > Applications > Integration > Pick's Theorem
This is a demonstration of Pick's theorem. The area inside a polygon with integer corners can be computed with the integer grid points it contains. Points on the boundary count 1/2.
The demonstration uses the inside() function to test each point. Moreover, the corner points are restricted in their movement using an expression.