The verified computing with assistance of computers has proved to be a
p...
For the Stokes equation over 2D and 3D domains, explicit a posteriori an...
The Hénon equation, a generalized form of the Emden equation, admits
sym...
The purpose of this paper is to reveal an eigenvalue problem correspondi...
Infinite-dimensional Newton methods can be effectively used to derive
nu...