| 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 | 40 | 2016 |
| 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 | 34 | 2013 |
| 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 | 25 | 2017 |
| 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 (3), 665-679, 2014 | 19 | 2014 |
| 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 | 12 | 2017 |
| 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 | 10 | 2017 |
| 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 | 8 | 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 | 7 | 2010 |
| 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 | 6 | 2016 |
| Numerical validation of blow-up solutions with quasi-homogeneous compactifications K Matsue, A Takayasu Numerische Mathematik 145, 605-654, 2020 | 5 | 2020 |
| Principle of verified numerical computations S Oishi, K Ichihara, M Kashiwagi, K Kimura, X Liu, H Masai, Y Morikura, ... Corona publisher, 2018 | 5 | 2018 |
| Guaranteed error estimate for solutions to two-point boundary value problems A Takayasu, S Oishi, T Kubo IEICE Proceedings Series 43 (A4L-A2), 2009 | 5 | 2009 |
| Global dynamics in nonconservative nonlinear Schr\" odinger equations J Jaquette, JP Lessard, A Takayasu arXiv preprint arXiv:2012.09734, 2020 | 3 | 2020 |
| Rigorous numerics for nonlinear heat equations in the complex plane of time A Takayasu, JP Lessard, J Jaquette, H Okamoto arXiv preprint arXiv:1910.12472, 2019 | 3 | 2019 |
| A method of computer assisted proof for nonlinear two-point boundary value problems using higher order finite elements A Takayasu, S Oishi Nonlinear Theory and Its Applications, IEICE 2 (1), 74-89, 2011 | 3 | 2011 |
| Verified numerical computations for blow-up solutions of ODEs A Takayasu, K Matsue, T Sasaki, K Tanaka, M Mizuguchi, S Oishi SCAN 2016, 132, 2016 | 2 | 2016 |
| Estimation of an embedding constant on Lipschitz domains using extension operators K Tanaka, M Mizuguchi, K Sekine, A Takayasu, S Oishi JSST 2013 International Conference on Simulation Technology, 2013 | 2 | 2013 |
| Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity K Matsue, A Takayasu Journal of Computational and Applied Mathematics 374, 112607, 2020 | 1 | 2020 |
| 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 | 1 | 2020 |
| Rigorous numerical computations for 1D advection equations with variable coefficients A Takayasu, S Yoon, Y Endo Japan Journal of Industrial and Applied Mathematics 36 (2), 357-384, 2019 | 1 | 2019 |
Xuefeng LIUAssociate Professor, Graduate School of Science and Technology, Niigata University確認したメール アドレス: math.sc.niigata-u.ac.jp
