| 本文言語 | English |
|---|---|
| ジャーナル | Default journal |
| 出版ステータス | Published - 2011 3月 1 |
Computer Assisted Proof of Non-singularity of a Floating-point Matrix based on High Performance Functions
K.Ozaki K.Ozaki, T. Ogita, S. Oishi, Katsuhisa Ozaki
研究成果: Article › 査読
K.Ozaki K.Ozaki, T. Ogita, S. Oishi, Katsuhisa Ozaki
研究成果: Article › 査読
| 本文言語 | English |
|---|---|
| ジャーナル | Default journal |
| 出版ステータス | Published - 2011 3月 1 |