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

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 journal › Article

K.Ozaki, KO, Ogita, T, Oishi, S & Ozaki, K 2011, 'Computer Assisted Proof of Non-singularity of a Floating-point Matrix based on High Performance Functions', Default journal.
K.Ozaki KO, Ogita T, Oishi S, Ozaki K. Computer Assisted Proof of Non-singularity of a Floating-point Matrix based on High Performance Functions. Default journal. 2011 Mar 1.
K.Ozaki, K.Ozaki ; Ogita, T. ; Oishi, S. ; Ozaki, Katsuhisa. / Computer Assisted Proof of Non-singularity of a Floating-point Matrix based on High Performance Functions. In: Default journal. 2011.
@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 -