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

これを引用