Yoshitaka Watanabe
Orcid: 0000-0001-6520-3552
According to our database1,
Yoshitaka Watanabe
authored at least 26 papers
between 1998 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces.
J. Sci. Comput., 2023
Inclusion method of optimal constant with quadratic convergence for H01-projection error estimates and its applications.
J. Comput. Appl. Math., 2023
2022
On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators.
Acta Cybern., September, 2022
Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem.
JSIAM Lett., 2022
2021
Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem.
J. Comput. Appl. Math., 2021
Adv. Robotics, 2021
2020
Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space.
J. Comput. Appl. Math., 2020
2019
Proceedings of the IEEE International Conference on Consumer Electronics, 2019
2018
Proceedings of the IEEE International Conference on Consumer Electronics, 2018
2017
On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations.
JSIAM Lett., 2017
2016
An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid.
J. Comput. Appl. Math., 2016
A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration.
Appl. Math. Comput., 2016
2015
H<sup>3</sup> and H<sup>4</sup> Regularities of the Poisson Equation on Polygonal Domains.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
2014
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces.
SIAM J. Numer. Anal., 2014
Proceedings of the Scientific Computing, Computer Arithmetic, and Validated Numerics, 2014
2013
A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations.
Math. Comput., 2013
2010
Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems.
J. Sci. Comput., 2010
Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems.
J. Sci. Comput., 2010
2009
A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems.
Numerische Mathematik, 2009
Development of a new positioning system for underwater robot based on sensor network.
Artif. Life Robotics, 2009
2008
Artif. Life Robotics, 2008
2005
A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems.
Computing, 2005
2004
An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations.
Numer. Algorithms, 2004
2003
Reliab. Comput., 2003
1999
Reliab. Comput., 1999
1998
Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations.
Reliab. Comput., 1998