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 journalArticle

Original languageEnglish
JournalDefault journal
Publication statusPublished - 2011 Mar 1

Cite this

Computer Assisted Proof of Non-singularity of a Floating-point Matrix based on High Performance Functions. / K.Ozaki, K.Ozaki; Ogita, T.; Oishi, S.; Ozaki, Katsuhisa.

In: Default journal, 01.03.2011.

Research output: Contribution to journalArticle

@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 -