@第{zbMATH07404219条，作者={Ma，Yingying and Ma，Zhenwei and Chen，Gang}，标题={基于{Coq}}的块矩阵运算的形式化，FJournal={软件杂志}，期刊={J.Softw.}，ISSN={1000-9825}，体积={32}，数字＝｛6｝，页码={1882--1909}，年份={2021}，语言={中文}，DOI={10.13328/j.cnki.jos.006255}，关键词={68T07,15B99,68V20}，zbMATH={7404219}，Zbl={1488.68059}}