Computing multi-point Seshadri constants on P2

Working over the complex field and formalizing and sharpening approaches introduced by several authors, we give a method for verifying when a divisor on a blow up of P^2 at general points is nef. The method is useful both theoretically and when doing computer computations. The main application is to obtain significantly improved explicit lower bounds for multipoint Seshadri constants on P^2.