TAKAYASU Akitoshi
- Articles
- 擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算
高安 亮紀; 松江 要
2017年度応用数学合同研究集会 講演予稿集, 2017-12 - Fourier-Chebyshevスペクトル法を用いた変数係数1次元移流方程式の精度保証付き解法
高安 亮紀; 尹 授老; 遠藤 靖典
Book of Abstracts, 46th Numerical Analysis Symposium (NAS2017)/pp.111-114, 2017-06 - Verified Partial Eigenvalue Computation for Generalized Hermitian Eigenproblems Using Contour Integrals
今倉 暁 (Imakura A.); 保國 惠一 (Morikuni K.); 高安 亮紀 (Takayasu A.)
Book of Abstracts, 47th Numerical Analysis Symposium (NAS2018)/pp.1-4, 2018-06 - Influence of Stator Pole on Magnetic Field Distribution of Switched Reluctance Motor
Takahashi Toru; Shintaku Yuichi; Takayasu Akitoshi
Proceedings of 24th International Conference on Electrical Engineering, 2017-07 - Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator
Takayasu Akitoshi; Mizuguchi Makoto; Kubo Takayuki; Oishi Sh...
Mathematical Aspects of Computer and Information Sciences/pp.218-223, 2016-01 - Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
Tanaka Kazuaki; Takayasu Akitoshi; Liu Xuefeng; Oishi Shin'ichi
Japan journal of industrial and applied mathematics/31(3)/pp.665-679, 2014-11 - Remarks on computable a priori error estimates for finite element solutions of elliptic problems
Takayasu Akitoshi; Liu Xuefeng; Oishi Shin'ichi
Nonlinear Theory and Its Applications, IEICE/5(1)/pp.53-63, 2014-01 - An algorithm of identifying parameters satisfying a sufficient condition of Plum's Newton-Kantorovich like existence theorem for nonlinear operator equations
Sekine Kouta; Takayasu Akitoshi; Oishi Shin'ichi
Nonlinear Theory and Its Applications, IEICE/5(1)/pp.64-79, 2014-01 - Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains
Takayasu Akitoshi; Liu Xuefeng; Oishi Shin'ichi
Nonlinear Theory and Its Applications, IEICE/4(1)/pp.34-61, 2013-01 - A method of computer assisted proof for nonlinear two-point boundary value problems using higher order finite elements
Takayasu Akitoshi; Shin'ichi Oishi
Nonlinear Theory and Its Applications, IEICE/2(1)/pp.74-89, 2011-01 - Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations
Takayasu Akitoshi; Oishi Shinichi; Kubo Takayuki
Nonlinear Theory and Its Applications, IEICE/1(1)/pp.105-118, 2010-01
- 擬斉次コンパクト化を利用する爆発解の精度保証付き数値計算