FORMALIZED LINEAR ALGEBRA OVER ELEMENTARY DIVISOR RINGS IN COQ.
In: Logical Methods in Computer Science (LMCS), Jg. 12 (2016-06-01), Heft 2, S. 1-29
Online
academicJournal
Zugriff:
Titel: |
FORMALIZED LINEAR ALGEBRA OVER ELEMENTARY DIVISOR RINGS IN COQ.
|
---|---|
Autor/in / Beteiligte Person: | CANO, GUILLAUME ; COHEN, CYRIL ; DÉNÈS, MAXIME ; MöRTBERG, ANDERS ; SILES, VINCENT |
Link: | |
Zeitschrift: | Logical Methods in Computer Science (LMCS), Jg. 12 (2016-06-01), Heft 2, S. 1-29 |
Veröffentlichung: | 2016 |
Medientyp: | academicJournal |
ISSN: | 1860-5974 (print) |
DOI: | 10.2168/LMCS-12(2:7)2016 |
Sonstiges: |
|