| 1. |
Yoshitaka Watanabe, Some computer-assisted proofs for nonlinear differential equations involved with self-similar blowup in wave equations, Nonlinear Analysis, Spectral theory and PDEs, Workshop in Honor of Prof. Dr. Michael Plum, 2024.02. |
| 2. |
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Birgit Schörkhuber, Mitsuhiro T. Nakao, A computer-assisted proof for a nonlinear differential equation involved with self-similar blowup in wave equations, Minisymposia: Verified Numerical Computations and Applications, in the 10th International Congress on Industrial and Applied Mathematics (ICIAM), 2023.08. |
| 3. |
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Takehiko Kinoshita, Mitsuhiro T. Nakao, A computer-assisted proof toward the critical Reynolds number for the Orr-Sommerfeld problem, nternational Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), 2022.03. |
| 4. |
akehiko Kinoshita, Yoshitaka Watanabe, and Mitsuhiro T. Nakao, On some convergence properties for finite element approximations to the inverse of linear elliptic operators, 19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2020), 2021.09. |
| 5. |
Yoshitaka Watanabe, Numerical verification methods for nonlinear equations, JST Sakura Exchange Program in Science, 2019.08. |
| 6. |
Yoshitaka Watanabe, Computer-assisted proofs for the Orr-Sommerfeld equation, Rigorous Computational Dynamics in Infinite Dimensions, 2019.04. |
| 7. |
Yoshitaka Watanabe, The essence of numerical verification methods for PDEs, 2018 Workshop on Recent views of Nonlinear Analysis, 2018.12. |
| 8. |
Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao, A higher order error estimation for finite element approximations of the Poisson equation, 18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018), 2018.09. |
| 9. |
Yoshitaka Watanabe, Michael Plum, Kaori Nagatou and Mitsuhiro T. Nakao, Verified computations of eigenvalue exclosures for linearized Kolmogorov problem, 18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2018), 2018.09. |
| 10. |
Yoshitaka Watanabe, A higher order error estimation of the Poisson equation and its applications , International Workshop on Numerical Methods for Partial Differential Equations , 2018.03. |
| 11. |
Yoshitaka Watanabe, Some computer-assisted proofs for the Navier-Stokes equations, Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (17w5141), 2017.05. |
| 12. |
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao, An alternative approach of invertibility verifications for linear operators in Hilbert spaces, The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), 2017.03. |
| 13. |
Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe, Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces, The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), 2017.03. |
| 14. |
Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao, Validated constructive error estimatations for bi-harmonic problems, 17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016), 2016.09. |
| 15. |
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao, H3 and H4 regularities of the Poisson equation on polygonal domains, Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015), 2015.11. |
| 16. |
Yoshitaka Watanabe, An improvement of infinity norm estimations for numerical verifications of the Kolmogorov problem, Workshop on Information Technology, Applied Mathematics and Education, 2015.08. |
| 17. |
Yoshitaka Watanabe, A nonlinear PDE verification -- Fukuoka, Karlsruhe, Nonlinear PDE Days, 2015.07. |
| 18. |
Yoshitaka Watanabe, Some computer-assisted proofs of the Kolmogorov problem of incompressible viscous fluid, International Workshop on Information Technology, Applied Mathematics and Science (IMS2015), 2015.03. |
| 19. |
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao, Some remarks on the rigorous estimation of inverse linear elliptic operators, 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2014), 2014.09. |
| 20. |
Yoshitaka Watanabe, Computer-assisted stability and instability proofs for the Orr-Sommerfeld problem, Institutskolloquien, Institut für Analysis, Karlsruher Institut für Technologie, 2014.09. |
| 21. |
Yoshitaka Watanabe, A comparison of computer-assisted proofs for the Kolmogorov problem, International Workshop on Numerical Verification and its Applications 2014 (INVA2014), 2014.03. |
| 22. |
渡部 善隆, A multiple-precision interval arithmetic library and its applications to fluid dynamics, International workshop on HPC (High performane computing), Krylov subspace method and its applications, 2013.01. |
