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 journal › Article › peer-review

Cite this

@article{3fba0f17a91746dfae7441a75781c559,

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

author = "K. Ozaki and T. Ogita and S. Oishi",

year = "2010",

month = may,

day = "8",

language = "English",

volume = "56",

pages = "363--282",

journal = "Numerical Algorithms",

issn = "1017-1398",

publisher = "Springer Netherlands",

}