| Publication | Date of Publication | Type |
|---|
Analytical Solution of a Gas Release Problem considering Permeation with Time-Dependent Boundary Conditions
Journal of Computational and Theoretical Transport | 2022-02-11 | Paper |
Analytical Solution of a Gas Release Problem considering Permeation with Time-Dependent Boundary Conditions
Journal of Computational and Theoretical Transport | 2022-02-11 | Paper |
Orbital stability investigations for travelling waves in a nonlinearly supported beam
Journal of Differential Equations | 2019-10-14 | Paper |
On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations
JSIAM Letters | 2019-03-18 | Paper |
Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2017-06-07 | Paper |
Norm bound computation for inverses of linear operators in Hilbert spaces
Journal of Differential Equations | 2016-02-08 | Paper |
Numerical verifications for eigenvalues of second-order elliptic operators
Japan Journal of Industrial and Applied Mathematics | 2015-03-03 | Paper |
Interfaces supporting surface gap soliton ground states in the 1D nonlinear Schrödinger equation
Journal of Mathematical Analysis and Applications | 2015-02-26 | Paper |
Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
SIAM Journal on Numerical Analysis | 2014-07-31 | Paper |
Validated computations for fundamental solutions of linear ordinary differential equations
Inequalities and Applications | 2013-06-13 | Paper |
A numerical verification method for a system of FitzHugh-Nagumo type
Numerical Functional Analysis and Optimization | 2013-01-04 | Paper |
Stability of a functional equation coming from the characterization of the absolute value of additive functions
Annals of Functional Analysis | 2011-05-02 | Paper |
Stability of a functional equation coming from the characterization of the absolute value of additive functions
Annals of Functional Analysis | 2011-05-02 | Paper |
| Computer assisted proofs for spectral problems | 2010-03-10 | Paper |
Numerical verification method for infinite dimensional eigenvalue problems
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
Spectral problem on 3-D photonic crystals
AIP Conference Proceedings | 2010-01-22 | Paper |
Numerical verification of stationary solutions for Navier-Stokes problems
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
Journal of Computational and Applied Mathematics | 2004-08-16 | Paper |
VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
Numerical Functional Analysis and Optimization | 2003-04-14 | Paper |
Solutions with guaranteed accuracy for coupling-type eigenvalue problems related to noncommutative harmonic oscillators
RIMS Kokyuroku | 2001-09-17 | Paper |
An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
Linear Algebra and its Applications | 2001-07-03 | Paper |
An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
Numerical Functional Analysis and Optimization | 2000-06-05 | Paper |
A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
Computing | 2000-02-01 | Paper |
