本文言語 | English |
---|---|
ページ(範囲) | 749-752 |
ジャーナル | Proc. of 2005 International Symposium on Nonlinear Theory and its Applications |
出版ステータス | Published - 2005 10月 19 |
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 › 査読