基于Coq的分块矩阵运算的形式化
In: 软件学报 / Journal of Software, Jg. 32 (2021), Heft 6, S. 1882
academicJournal
Zugriff:
Titel: |
基于Coq的分块矩阵运算的形式化
|
---|---|
Autor/in / Beteiligte Person: | 麻莹莹;马振威;陈钢 |
Link: | |
Zeitschrift: | 软件学报 / Journal of Software, Jg. 32 (2021), Heft 6, S. 1882 |
Veröffentlichung: | 2021 |
Medientyp: | academicJournal |
ISSN: | 1000-9825 (print) |
Sonstiges: |
|