Principle of verified numerical computations

Oishi, Shin’ichiShin’ichiOishiIchihara, K.K.IchiharaKashiwagi, MasahideMasahideKashiwagiKimura, K.K.KimuraLiu, X.X.LiuMasai, H.H.MasaiMorikura, YusukeYusukeMorikuraOgita, TakeshiTakeshiOgitaOzaki, KatsuhisaKatsuhisaOzakiRump, Siegfried M.Siegfried M.RumpSekine, KoutaKoutaSekineTakayasu, A.A.TakayasuYamanaka, NaoyaNaoyaYamanaka2020-01-092020-01-092018http://hdl.handle.net/11420/4327jahttp://rightsstatements.org/vocab/InC/1.0/Principle of verified numerical computationsBook Part10.15480/882.2562https://www.coronasha.co.jp/np/isbn/9784339028874/10.15480/882.2562Book Chapter