CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ]
Notice of renewal procedure of Institution authentication service
ID:9000404631218
Search authors sharing the same name
高安 亮紀 , 遠藤 靖典 , Akitoshi TAKAYASU , Suro Yoon , Yasunori ENDO
This paper provides a methodology of verified computing for solutions to 1D advection equations with variable coefficients. The advection equation is typical partial differential equations (PDEs) of h …
Japan Journal of Industrial and Applied Mathematics 36(2), 357-384, 2019-07
IR