K. Ozaki, T. Ogita, S. Oishi
研究成果: Article › 査読
Error-Free Transformation of Matrix Multiplication and its related topics, Computer-assisted Proofs - Tools, Methods and Applications. / Ozaki, K.; Ogita, T.; Oishi, S.
}
TY - JOUR
T1 - Error-Free Transformation of Matrix Multiplication and its related topics, Computer-assisted Proofs - Tools, Methods and Applications
AU - Ozaki, K.
AU - Ogita, T.
AU - Oishi, S.
PY - 2009/11/15
Y1 - 2009/11/15
M3 - Article
JO - Dagstuhl Seminar, Dagstuhl, Germany
JF - Dagstuhl Seminar, Dagstuhl, Germany
ER -