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

@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 = "11",
day = "15",
language = "English",
journal = "Dagstuhl Seminar, Dagstuhl, Germany",

}

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 -