Mnacho-Echenim：两两交换厄米特矩阵的同时对角化。(2022) 期刊/afp/Echenim22 两两交换厄米矩阵的同时对角化。 1 Mnacho Echenim公司 1 架构（architecture）。正式证明 架构（architecture）。正式证明 2022 2022 dblp记录'journals/afp/Echenim22'的RDF数据的来源信息 2022-12-12T09:58:47+0100