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

これを引用

@article{a140c54ab8484c778393376dc7f2c09f,
title = "Computer Assisted Proof of Non-singularity of a Floating-point Matrix based on High Performance Functions",
author = "K.Ozaki K.Ozaki and T. Ogita and S. Oishi and Katsuhisa Ozaki",
year = "2011",
month = "3",
day = "1",
language = "English",
journal = "Default journal",

}

TY - JOUR

T1 - Computer Assisted Proof of Non-singularity of a Floating-point Matrix based on High Performance Functions

AU - K.Ozaki, K.Ozaki

AU - Ogita, T.

AU - Oishi, S.

AU - Ozaki, Katsuhisa

PY - 2011/3/1

Y1 - 2011/3/1

M3 - Article

JO - Default journal

JF - Default journal

ER -