Verified Computation to a Nonlinear Poisson Equation with Neumann Boundary Condition Derived from the Keller-Segel Model. - Teruya Minamoto; Shinichi Habara (ITNG, 2014)