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

K. Ozaki, T. Ogita, S. Oishi

研究成果: Article

14 引用 (Scopus)
元の言語English
ページ(範囲)363-282
ジャーナルNumerical Algorithms
56
出版物ステータスPublished - 2010 5 8

これを引用