Akitoshi Takayasu
Title
Cited by
Cited by
Year
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
392016
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
282013
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
262017
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
172014
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
112017
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
82017
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
72014
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
72010
Principle of Verified Numerical Computations
S Oishi, K Ichihara, M Kashiwagi, K Kimura, X Liu, H Masai, Y Morikura, ...
Corona publisher, 2018
52018
Numerical validation of blow-up solutions with quasi-homogeneous compactifications
K Matsue, A Takayasu
arXiv preprint arXiv:1707.05936, 2017
52017
Guaranteed error estimate for solutions to two-point boundary value problems
A Takayasu, S Oishi, T Kubo
IEICE Proceedings Series 43 (A4L-A2), 2009
52009
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
42016
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
22016
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
22013
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
22011
Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity
K Matsue, A Takayasu
Journal of Computational and Applied Mathematics 374, 112607, 2020
12020
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
12020
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
12016
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
12016
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
12015
The system can't perform the operation now. Try again later.
Articles 1–20