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 | 39 | 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 | 28 | 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 | 26 | 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 | 17 | 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 | 11 | 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 | 8 | 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 | 7 | 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 |

Principle of Verified Numerical Computations S Oishi, K Ichihara, M Kashiwagi, K Kimura, X Liu, H Masai, Y Morikura, ... Corona publisher, 2018 | 5 | 2018 |

Numerical validation of blow-up solutions with quasi-homogeneous compactifications K Matsue, A Takayasu arXiv preprint arXiv:1707.05936, 2017 | 5 | 2017 |

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 |

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 | 4 | 2016 |

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 |

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 | 2 | 2011 |

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 |

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 | 1 | 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 | 1 | 2016 |

Verified computations for solutions to semilinear parabolic equations using the evolution operator A Takayasu, M Mizuguchi, T Kubo, S Oishi International Conference on Mathematical Aspects of Computer and Information …, 2015 | 1 | 2015 |