Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations. - Mitsuhiro T. Nakao; Nobito Yamamoto; Yoshitaka Watanabe (Reliab. Comput., 1998)

A Numerical Verification Method of Solutions for the Navier-Stokes Equations. - Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao (Reliab. Comput., 1999)

Some Computer Assisted Proofs for Solutions of the Heat Convection Problems. - Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida (Reliab. Comput., 2003)

An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations. - Mitsuhiro T. Nakao; Yoshitaka Watanabe (Numer. Algorithms, 2004)

A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems. - Mitsuhiro T. Nakao; Kouji Hashimoto; Yoshitaka Watanabe (Computing, 2005)

Development of a new underwater positioning system based on sensor network. - Bin Fu; Feifei Zhang; Masanori Ito; Yoshitaka Watanabe; Taro Aoki (Artif. Life Robotics, 2008)

Development of a new positioning system for underwater robot based on sensor network. - Bin Fu; Feifei Zhang; Masanori Ito; Yoshitaka Watanabe; Taro Aoki (Artif. Life Robotics, 2009)

A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems. - Myoungnyoun Kim; Mitsuhiro T. Nakao; Yoshitaka Watanabe; Takaaki Nishida (Numerische Mathematik, 2009)

Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. - Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoung-Nyoung Kim (J. Sci. Comput., 2010)

Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. - Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoungnyoun Kim (J. Sci. Comput., 2010)

A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations. - Yoshitaka Watanabe; Takehiko Kinoshita; Mitsuhiro T. Nakao (Math. Comput., 2013)

Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators. - Takehiko Kinoshita; Yoshitaka Watanabe; Mitsuhiro T. Nakao (SCAN, 2014)

Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces. - Yoshitaka Watanabe; Kaori Nagatou; Michael Plum; Mitsuhiro T. Nakao (SIAM J. Numer. Anal., 2014)

H3 and H4 Regularities of the Poisson Equation on Polygonal Domains. - Takehiko Kinoshita; Yoshitaka Watanabe; Mitsuhiro T. Nakao (MACIS, 2015)

A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration. - Yoshitaka Watanabe; Mitsuhiro T. Nakao (Appl. Math. Comput., 2016)

An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid. - Yoshitaka Watanabe (J. Comput. Appl. Math., 2016)

On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations. - Yoshitaka Watanabe; Mitsuhiro T. Nakao; Kaori Nagatou (JSIAM Lett., 2017)

EMI designs support system using augmented reality. - Yoshitaka Watanabe; Shinya Manabe; Taishiro Tanaka; Yasuhito Fukui; Kiyoshi Okuizumi; Jun Nakamura 001; Noriyuki Kushiro (ICCE, 2018)

EMC Design Support Tool for Consumer Product. - Noriyuki Kushiro; Taishiro Tanaka; Yoshitaka Watanabe (ICCE, 2019)

Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space. - Takehiko Kinoshita; Yoshitaka Watanabe; Mitsuhiro T. Nakao (J. Comput. Appl. Math., 2020)

Motion control of deep sea vehicle 'OTOHIME': modeling with neural network. - Shun Fujii; Junichiro Tahara; Feifei Zhang; Masakazu Koike; Yutaka Ohta; Yoshitaka Watanabe (Adv. Robotics, 2021)

Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem. - Shuting Cai; Yoshitaka Watanabe (J. Comput. Appl. Math., 2021)

Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem. - Kenta Kobayashi; Yoshitaka Watanabe (JSIAM Lett., 2022)

On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators. - Takehiko Kinoshita; Yoshitaka Watanabe; Mitsuhiro T. Nakao (Acta Cybern., 2022)

Inclusion method of optimal constant with quadratic convergence for H01-projection error estimates and its applications. - Takehiko Kinoshita; Yoshitaka Watanabe; Nobito Yamamoto; Mitsuhiro T. Nakao (J. Comput. Appl. Math., 2023)

Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces. - Yoshitaka Watanabe; Takehiko Kinoshita; Mitsuhiro T. Nakao (J. Sci. Comput., 2023)

Verified error bounds for the singular values of structured matrices with applications to computer-assisted proofs for differential equations. - Takeshi Terao; Yoshitaka Watanabe; Katsuhisa Ozaki (CoRR, 2025)