高安 亮紀(タカヤス アキトシ)
- 論文
- 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
- Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator