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

これを引用