Presentation Information

10:45 AM - 12:15 PM JST(1:45 AM - 3:15 AM UTC)

[TPO-1-64]低次元対称テンソルマトロイドの組合せ的な特徴づけ

〇Kentaro Kajiyama¹, Shinichi Tanigawa¹ (1. Graduate School of Information Science and Technology The University of Tokyo Mathematical Informatics)

Tensor product codes,Distributed Storage System,Combinatorial Rigidity,Matroid Theory,Formal Verification