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査読

本文言語English
ジャーナルDefault journal
出版ステータスPublished - 2011 3 1

引用スタイル