| Original language | English |
|---|---|
| Journal | Default journal |
| Publication status | Published - 2011 Mar 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
Research output: Contribution to journal › Article › peer-review