Teruya Minamoto, Shinichi Habara. Verified Computation to a Nonlinear Poisson Equation with Neumann Boundary Condition Derived from the Keller-Segel Model. In Shahram Latifi, editor, 11th International Conference on Information Technology: New Generations, ITNG 2014, Las Vegas, NV, USA, April 7-9, 2014. pages 453-458, IEEE Computer Society, 2014. [doi]
Abstract is missing.