An Algorithm for Automatically Selecting a Suitable Verification Method for Linear Systems, to appear in Numerical Algorithms.

K. Ozaki, T. Ogita, S. Oishi

研究成果: Article査読

15 被引用数 (Scopus)
本文言語English
ページ(範囲)363-282
ジャーナルNumerical Algorithms
56
出版ステータスPublished - 2010 5 8

引用スタイル