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

K. Ozaki, T. Ogita, S. Oishi

Research output: Contribution to journalArticlepeer-review

15 Citations (Scopus)
Original languageEnglish
Pages (from-to)363-282
JournalNumerical Algorithms
Volume56
Publication statusPublished - 2010 May 8

Cite this