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

Systems Engineering and Science

Research output: Contribution to journal › Article

Original language	English
Journal	Default journal
Publication status	Published - 2011 Mar 1

Cite this

K.Ozaki, K. O., 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.