Verified Computation to a Nonlinear Poisson Equation with Neumann Boundary Condition Derived from the Keller-Segel Model | IEEE Conference Publication | IEEE Xplore