@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",
}