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

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)749-752
JournalProc. of 2005 International Symposium on Nonlinear Theory and its Applications
Publication statusPublished - 2005 Oct 19

Cite this

K.Ozaki, K. O., T.Ogita, T. O., S.Miyajima, S. M., S.Oishi, S. O., S.M.Rump, S. M. R., & Ozaki, K. (2005). Componentwise Verified Solutions of Linear Systems suited for Java. Proc. of 2005 International Symposium on Nonlinear Theory and its Applications, 749-752.