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-092018Technische Universität Hamburg 978-4-339-02887-4: 1-311http://hdl.handle.net/11420/4327enhttp://rightsstatements.org/vocab/InC/1.0/Technology::600: TechnologyPrinciple of verified numerical computationsBook10.15480/882.2562https://www.coronasha.co.jp/np/isbn/9784339028874/10.15480/882.2562Book