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