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 journal › Article › peer-review

Original language	English
Journal	Dagstuhl Seminar, Dagstuhl, Germany
Publication status	Published - 2009 Nov 15

Cite this

@article{ccc00edafd404416994b8a48cd1dc124,

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

author = "K. Ozaki and T. Ogita and S. Oishi",

year = "2009",

month = nov,

day = "15",

language = "English",

journal = "Dagstuhl Seminar, Dagstuhl, Germany",

}