11 citations · 21 across the 7 of their papers we have counts for
Showing 2016 · math.NAShow all
2 papers · 2 filters
math.NA2016
Numerical verification method for positiveness of solutions to elliptic equations
Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi
In this paper, we propose a numerical method for verifying the positiveness of solutions to semilinear elliptic equations. We provide a sufficient condition for a solution to an el…
math.NA2016
Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents
Kazuaki Tanaka, Michael Plum, Kouta Sekine +2
The purpose of this paper is to obtain rigorous numerical enclosures for solutions of Lane-Emden's equation with homogeneous Dirichlet boundary conditions. We pro…