Error-Free Transformation of Matrix Multiplication and its related topics, Computer-assisted Proofs - Tools, Methods and Applications

K. Ozaki, T. Ogita, S. Oishi

研究成果: Article査読

本文言語English
ジャーナルDagstuhl Seminar, Dagstuhl, Germany
出版ステータスPublished - 2009 11 15

引用スタイル