| Verified computations for hyperbolic 3-manifolds N Hoffman, K Ichihara, M Kashiwagi, H Masai, S Oishi, A Takayasu Experimental Mathematics 25 (1), 66-78, 2016 | 48 | 2016 |
| Numerical validation of blow-up solutions of ordinary differential equations A Takayasu, K Matsue, T Sasaki, K Tanaka, M Mizuguchi, S Oishi Journal of Computational and Applied Mathematics 314, 10-29, 2017 | 46 | 2017 |
| Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains A Takayasu, X Liu, S Oishi Nonlinear Theory and Its Applications, IEICE 4 (1), 34-61, 2013 | 44 | 2013 |
| Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation K Tanaka, A Takayasu, X Liu, S Oishi Japan Journal of Industrial and Applied Mathematics 31, 665-679, 2014 | 23 | 2014 |
| Global dynamics in nonconservative nonlinear Schrödinger equations J Jaquette, JP Lessard, A Takayasu Advances in Mathematics 398, 108234, 2022 | 17 | 2022 |
| Principle of verified numerical computations S Oishi, K Ichihara, M Kashiwagi, K Kimura, X Liu, H Masai, Y Morikura, ... Corona publisher, 2018 | 15 | 2018 |
| Numerical verification for existence of a global-in-time solution to semilinear parabolic equations M Mizuguchi, A Takayasu, T Kubo, S Oishi Journal of Computational and Applied Mathematics 315, 1-16, 2017 | 15 | 2017 |
| Numerical validation of blow-up solutions with quasi-homogeneous compactifications K Matsue, A Takayasu Numerische Mathematik 145, 605-654, 2020 | 13 | 2020 |
| A method of verified computations for solutions to semilinear parabolic equations using semigroup theory M Mizuguchi, A Takayasu, T Kubo, S Oishi SIAM journal on numerical analysis 55 (2), 980-1001, 2017 | 13 | 2017 |
| Rigorous numerics for nonlinear heat equations in the complex plane of time A Takayasu, JP Lessard, J Jaquette, H Okamoto Numerische Mathematik 151 (3), 693-750, 2022 | 12 | 2022 |
| Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity K Matsue, A Takayasu Journal of Computational and Applied Mathematics 374, 112607, 2020 | 12 | 2020 |
| Accurate method of verified computing for solutions of semilinear heat equations A Takayasu, M Mizuguchi, T Kubo, S Oishi arXiv preprint arXiv:1611.10243, 2016 | 11 | 2016 |
| Remarks on computable a priori error estimates for finite element solutions of elliptic problems A Takayasu, X Liu, S Oishi Nonlinear Theory and Its Applications, IEICE 5 (1), 53-63, 2014 | 10 | 2014 |
| Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations A Takayasu, S Oishi, T Kubo Nonlinear Theory and Its Applications, IEICE 1 (1), 105-118, 2010 | 9 | 2010 |
| Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems A Imakura, K Morikuni, A Takayasu Journal of Computational and Applied Mathematics 369, 112543, 2020 | 6 | 2020 |
| Guaranteed error estimate for solutions to two-point boundary value problems A Takayasu, S Oishi, T Kubo IEICE Proceedings Series 43 (A4L-A2), 2009 | 6 | 2009 |
| Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity J Jaquette, JP Lessard, A Takayasu Communications in Nonlinear Science and Numerical Simulation 107, 106188, 2022 | 5 | 2022 |
| Guaranteed error estimate for solutions to linear two-point boundary value problems with FEM A Takayasu, S Oishi, T Kubo Asia Simulation Conference 2009, JSST 2009, 2009 | 5 | 2009 |
| Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature JP Lessard, K Matsue, A Takayasu Journal of Nonlinear Science 33 (3), 46, 2023 | 4 | 2023 |
| Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh–Ritz procedure for generalized Hermitian eigenvalue problems A Imakura, K Morikuni, A Takayasu Journal of Computational and Applied Mathematics 424, 114994, 2023 | 4 | 2023 |
Makoto MizuguchiAssistant Professor, Faculty of Science and Engineering, Chuo UniversityDirección de correo verificada de g.chuo-u.ac.jp