基于COQ的有限域GF(2n)的形式化研究
In: 计算机科学 / Computer Science, Jg. 47 (2020), Heft 12, S. 311
academicJournal
Zugriff:
Titel: |
基于COQ的有限域GF(2n)的形式化研究
|
---|---|
Autor/in / Beteiligte Person: | 范永乾;陈钢;崔敏 |
Link: | |
Zeitschrift: | 计算机科学 / Computer Science, Jg. 47 (2020), Heft 12, S. 311 |
Veröffentlichung: | 2020 |
Medientyp: | academicJournal |
ISSN: | 1002-137X (print) |
Sonstiges: |
|