| 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 | 43 | 2017 |
| Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains M Mizuguchi, K Tanaka, K Sekine, S Oishi Journal of inequalities and applications 2017, 1-18, 2017 | 37 | 2017 |
| Sharp numerical inclusion of the best constant for embedding H01 (Ω)↪ Lp (Ω) on bounded convex domain K Tanaka, K Sekine, M Mizuguchi, S Oishi Journal of Computational and Applied Mathematics 311, 306-313, 2017 | 16 | 2017 |
| 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 |
| 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 |
| 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 |
| Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator K Tanaka, K Sekine, M Mizuguchi, S Oishi Journal of Inequalities and Applications 2015, 1-23, 2015 | 9 | 2015 |
| Numerical verification of positiveness for solutions to semilinear elliptic problems K Tanaka, K Sekine, M Mizuguchi, S Oishi JSIAM Letters 7, 73-76, 2015 | 9 | 2015 |
| 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 | 4 | 2013 |
| 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 | 3 | 2016 |
| Numerical validation of blow-up solutions for ODEs A Takayasu, K Matsue, T Sasaki, K Tanaka, M Mizuguchi, S Oishi arXiv preprint arXiv:1606.03039, 2016 | 2 | 2016 |
| On the embedding constant of the Sobolev type inequality for fractional derivatives M Mizuguchi, A Takayasu, T Kubo, S Oishi Nonlinear Theory and Its Applications, IEICE 7 (3), 386-394, 2016 | 2 | 2016 |
| Error constants for the semi-discrete Galerkin approximation of the linear heat equation M Mizuguchi, MT Nakao, K Sekine, S Oishi Journal of Scientific Computing 89, 1-9, 2021 | 1 | 2021 |
| Verified computations for solutions to semilinear parabolic equations using the evolution operator A Takayasu, M Mizuguchi, T Kubo, S Oishi Mathematical Aspects of Computer and Information Sciences: 6th International …, 2016 | 1 | 2016 |
| Numerical method for deriving sharp inclusion of the Sobolev embedding constant on bounded convex domain K Tanaka, K Sekine, M Mizuguchi, S Oishi arXiv preprint arXiv:1503.05468, 2015 | 1 | 2015 |
| Rigorous numerical inclusion of the blow-up time for the Fujita-type equation M Mizuguchi, K Sekine, K Hashimoto, MT Nakao, S Oishi Japan Journal of Industrial and Applied Mathematics 40 (1), 665-689, 2023 | | 2023 |
| Verified numerical computation for solutions to semilinear heat equations using semigroup theory M Mizuguchi 早稲田大学, 2017 | | 2017 |
| On verification methods for parabolic partial differential equations using the evolution operator A Takayasu, M Mizuguchi, T Kubo, S Oishi SCAN 2016, 134, 2016 | | 2016 |
| Verified Computations for Solutions to Nonlinear Heat Equations Based on Fractional Powers of a Positive Operator and the Evolution Operator A Takayasu, M Mizuguchi, T Kubo, S Oishi Main Themes, 250, 2016 | | 2016 |
| Estimation of the Sobolev embedding constant on domains with minimally smooth boundary K Tanaka, K Sekine, M Mizuguchi, S Oishi arXiv preprint arXiv:1411.6116, 2014 | | 2014 |
