Componentwise Verified Solutions of Linear Systems suited for Java

K.Ozaki K.Ozaki, T.Ogita T.Ogita, S.Miyajima S.Miyajima, S.Oishi S.Oishi, S.M.Rump S.M.Rump, Katsuhisa Ozaki

研究成果: Article査読

本文言語English
ページ(範囲)749-752
ジャーナルProc. of 2005 International Symposium on Nonlinear Theory and its Applications
出版ステータスPublished - 2005 10 19

引用スタイル