6 citations · 6 across the 1 of their papers we have counts for
2 papers
math.NA2020★ 6 cited
Numerical verification method for positive solutions of elliptic problems
Kazuaki Tanaka
The purpose of this paper is to propose methods for verifying the positivity of a weak solution of an elliptic problem assuming -error estimation $ \left\|u-\hat{u}\…
math.AP2020
A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations
Kazuaki Tanaka
This paper proposes a method for rigorously analyzing the sign-change structure of solutions of elliptic partial differential equations subject to one of the three types of homogen…