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

K. Ozaki, T. Ogita, S. Oishi

Research output: Contribution to journalArticle

Original languageEnglish
JournalDagstuhl Seminar, Dagstuhl, Germany
Publication statusPublished - 2009 Nov 15

Cite this