Formalized linear algebra over elementary divisor rings in \textsc{Coq} (Q5739892)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formalized linear algebra over elementary divisor rings in \textsc{Coq} |
scientific article; zbMATH DE number 6601110
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formalized linear algebra over elementary divisor rings in \textsc{Coq} |
scientific article; zbMATH DE number 6601110 |
Statements
Formalized linear algebra over Elementary Divisor Rings in Coq (English)
0 references
6 July 2016
0 references
formalization of mathematics
0 references
constructive algebra
0 references
Coq
0 references
Ssreflect
0 references
0.7896210551261902
0 references
0.779666543006897
0 references
0.7634438276290894
0 references
0.7594723701477051
0 references
0.7413645386695862
0 references
