高安亮紀 (Akitoshi Takayasu) - マイポータル

基本情報

Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems

Imakura, A, Morikuni, K, Takayasu, A

Journal of Computational and Applied Mathematics, in press 369(1) 2020年5月査読有り
A computer-assisted proof for nonlinear heat equations in the complex plane time

Takayasu,Akitoshi

RIMS Kôkyûroku Bessatsu B82 47 - 66 2020年査読有り
Rigorous numerics for nonlinear heat equations in the complex plane of time

Takayasu, Akitoshi, Lessard, Jean-Philippe, Jaquette, Jonathan, Okamoto, Hisashi

arXiv:1910.12472 [math.DS] 2019年10月
Rigorous numerical computations for 1D advection equations with variable coefficients

Takayasu, Akitoshi, Yoon, Suro, Endo, Yasunori

Japan journal of industrial and applied mathematics 36(2) 357 - 384 2019年7月査読有り
一般化エルミート固有値問題の周回積分型精度保証付き部分固有値計算

今倉, 暁, 保國, 惠一, 高安, 亮紀

日本応用数理学会2018年度年会予稿集 189 - 190 2018年9月

精度保証付き数値計算の基礎

高安,亮紀(担当:分担執筆, 範囲:非線形方程式の精度保証付き数値解法)

2018年7月 (ISBN: 9784339028874)

Rigorous numerics for nonlinear heat equations in the complex plane of time

高安, 亮紀, J.-P., Lessard, J., Jaquette, 岡本, 久

日本数学会2020年度年会 2020年3月
Gaussの超幾何微分方程式のモノドロミー行列に対する精度保証付き数値計算

井上, 直也, 石毛, 利昌, 高安, 亮紀

日本応用数理学会2019年度年会 2019年9月
チェビシェフ級数を用いたタイムステッピングによる常微分方程式系の精度保証付き数値解法

船越康太, 高安, 亮紀

日本応用数理学会2019年度年会 2019年9月
Computer-assisted proofs for a nonlinear heat equation in the complex plane of time

Takayasu,Akitoshi

CRM Applied Mathematics Seminars 2019年9月招待有り
遅延微分方程式の周期解の精度保証付き数値計算

高安,亮紀

第1回時間遅れが誘導する現象と数理 2019年9月